Journal of Logic, Language and InformationOfficial Journal of the European Association for Logic, Language and Information Short Title: J. Logic Lang. Inf. Publisher: Springer Netherlands, Dordrecht ISSN: 0925-8531; 1572-9583/e Online: http://link.springer.com/journal/volumesAndIssues/10849 Comments: Indexed cover-to-cover Documents Indexed: 576 Publications (since 1992) References Indexed: 388 Publications with 11,699 References. all top 5 Latest Issues 31, No. 3 (2022) 31, No. 2 (2022) 31, No. 1 (2022) 30, No. 4 (2021) 30, No. 3 (2021) 30, No. 2 (2021) 30, No. 1 (2021) 29, No. 4 (2020) 29, No. 3 (2020) 29, No. 2 (2020) 29, No. 1 (2020) 28, No. 4 (2019) 28, No. 3 (2019) 28, No. 2 (2019) 28, No. 1 (2019) 27, No. 4 (2018) 27, No. 3 (2018) 27, No. 2 (2018) 27, No. 1 (2018) 26, No. 4 (2017) 26, No. 3 (2017) 26, No. 2 (2017) 26, No. 1 (2017) 25, No. 3-4 (2016) 25, No. 2 (2016) 25, No. 1 (2016) 24, No. 4 (2015) 24, No. 3 (2015) 24, No. 2 (2015) 24, No. 1 (2015) 23, No. 4 (2014) 23, No. 3 (2014) 23, No. 2 (2014) 23, No. 1 (2014) 22, No. 4 (2013) 22, No. 3 (2013) 22, No. 2 (2013) 22, No. 1 (2013) 21, No. 4 (2012) 21, No. 3 (2012) 21, No. 2 (2012) 21, No. 1 (2012) 20, No. 4 (2011) 20, No. 3 (2011) 20, No. 2 (2011) 20, No. 1 (2011) 19, No. 4 (2010) 19, No. 3 (2010) 19, No. 2 (2010) 19, No. 1 (2010) 18, No. 4 (2009) 18, No. 3 (2009) 18, No. 2 (2009) 18, No. 1 (2009) 17, No. 4 (2008) 17, No. 3 (2008) 17, No. 2 (2008) 17, No. 1 (2008) 16, No. 4 (2007) 16, No. 3 (2007) 16, No. 2 (2007) 16, No. 1 (2007) 15, No. 4 (2006) 15, No. 3 (2006) 15, No. 1-2 (2006) 14, No. 4 (2005) 14, No. 3 (2005) 14, No. 2 (2005) 14, No. 1 (2005) 13, No. 4 (2004) 13, No. 3 (2004) 13, No. 2 (2004) 13, No. 1 (2004) 12, No. 4 (2003) 12, No. 3 (2003) 12, No. 2 (2003) 12, No. 1 (2003) 11, No. 4 (2002) 11, No. 3 (2002) 11, No. 2 (2002) 11, No. 1 (2002) 10, No. 4 (2001) 10, No. 3 (2001) 10, No. 2 (2001) 10, No. 1 (2001) 9, No. 4 (2000) 9, No. 3 (2000) 9, No. 2 (2000) 9, No. 1 (2000) 8, No. 4 (1999) 8, No. 3 (1999) 8, No. 2 (1999) 8, No. 1 (1999) 7, No. 4 (1998) 7, No. 3 (1998) 7, No. 2 (1998) 7, No. 1 (1998) 6, No. 4 (1997) 6, No. 3 (1997) 6, No. 2 (1997) ...and 18 more Volumes all top 5 Authors 9 Robles, Gemma 8 Gabbay, Dov M. 7 Alechina, Natasha 7 de Rijke, Maarten 7 van Benthem, Johan F. A. K. 6 Blackburn, Patrick 6 Francez, Nissim 6 Hansson, Sven Ove 5 Ågotnes, Thomas 5 Kamareddine, Fairouz D. 5 Kamide, Norihiro 5 Kanazawa, Makoto 5 Lorini, Emiliano 5 Retoré, Christian 5 van der Hoek, Wiebe 5 Winter, Yoad 4 Braüner, Torben 4 Cantwell, John C. 4 Chatzikyriakidis, Stergios 4 Goranko, Valentin F. 4 Kontinen, Juha 4 Paris, Jeffrey Bruce 4 Pratt-Hartmann, Ian 4 Stapleton, Gem 4 Treur, Jan 4 Väänänen, Jouko Antero 4 van Ditmarsch, Hans Pieter 4 van Rooy, Robert 4 Velázquez-Quesada, Fernando Raymundo 4 Verbrugge, Rineke 4 Visser, Albert 4 Wintner, Shuly 3 Demri, Stéphane P. 3 Engelfriet, Joeri 3 Fulop, Sean A. 3 Galimullin, Rustam 3 Humberstone, Lloyd 3 Jäger, Gerhard 3 Jamnik, Mateja 3 Kempson, Ruth 3 Kooi, Barteld Pieter 3 Kracht, Marcus 3 Lambek, Joachim 3 Marx, Maarten 3 Mineshima, Koji 3 Moot, Richard 3 Pagin, Peter 3 Pietarinen, Ahti-Veikko 3 Preller, Anne 3 Robaldo, Livio 3 Sadrzadeh, Mehrnoosh 3 Schulz, Katrin 3 Shimojima, Atsushi 3 Shoham, Yoav 3 Szymanik, Jakub 3 Tohmé, Fernando A. 3 van Eijck, Jan 3 Vencovská, Alena 3 Vermeulen, C. F. M. 3 Wansing, Heinrich Theodor 3 Westerståhl, Dag 3 Williamson, Jon 2 Akman, Varol 2 Asher, Nicholas M. 2 Barker, Chris 2 Ben-Avi, Gilad 2 Bernardi, Raffaella 2 Bochman, Alexander 2 Britz, Katarina 2 Buszkowski, Wojciech 2 Butler, Alastair 2 Chiffi, Daniele 2 Chow, Ka Fat 2 Cooper, Robin 2 de Groote, Philippe 2 Dekker, Paul J. E. 2 Egg, Markus 2 Engström, Fredrik 2 Fernando, Tim 2 Finger, Marcelo 2 Franke, Michael 2 Gärdenfors, Peter 2 Gardent, Claire 2 Gierasimczuk, Nina 2 Groeneveld, Willem 2 Hajnicz, Elżbieta 2 Heidema, Johannes 2 Hella, Lauri T. 2 Herzig, Andreas 2 Hollenberg, Marco 2 Hoshi, Tomohiro 2 Howes, Christine 2 Janssen, Theo M. V. 2 Kepser, Stephan 2 Koller, Alexander 2 Kurtonina, Natasha 2 Labuschagne, Willem Adrian 2 Lange, Martin 2 Lemon, Oliver 2 Luo, Zhaohui ...and 581 more Authors all top 5 Fields 483 Mathematical logic and foundations (03-XX) 245 Computer science (68-XX) 93 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 General and overarching topics; collections (00-XX) 8 History and biography (01-XX) 5 Information and communication theory, circuits (94-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Statistics (62-XX) 3 Quantum theory (81-XX) 3 Biology and other natural sciences (92-XX) 2 Probability theory and stochastic processes (60-XX) 2 Mathematics education (97-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 352 Publications have been cited 2,112 times in 1,592 Documents Cited by ▼ Year ▼ Reasoning with logical bilattices. Zbl 0851.03017Arieli, Ofer; Avron, Arnon 106 1996 Reasoning about information change. Zbl 0873.03029Gerbrandy, Jelle; Groeneveld, Willem 80 1997 A knowledge based semantics of messages. Zbl 1031.03021Parikh, Rohit; Ramanujam, Ramaswamy 52 2003 An algebraic approach to propositional fuzzy logic. Zbl 0942.06006Montagna, Franco 43 2000 On definability in dependence logic. Zbl 1182.03063Kontinen, Juha; Väänänen, Jouko 42 2009 A survey of multiple contractions. Zbl 0791.03014Fuhrmann, André; Hansson, Sven Ove 41 1994 Hybrid languages. Zbl 0847.03009Blackburn, Patrick; Seligman, Jerry 38 1995 On nonparametric predictive inference and objective Bayesianism. Zbl 1100.62057Coolen, F. P. A. 36 2006 Adding a temporal dimension to a logic system. Zbl 0798.03031Finger, Marcelo; Gabbay, Dov M. 33 1992 Preferential belief change using generalized epistemic entrenchment. Zbl 0794.03039Rott, Hans 29 1992 Logical geometries and information in the square of oppositions. Zbl 1306.03005Smessaert, Hans; Demey, Lorenz 28 2014 Knowledge-driven versus data-driven logics. Zbl 0942.03023Dubois, Didier; Hájek, Petr; Prade, Henri 28 2000 Extensive games as process models. Zbl 1003.03530van Benthem, Johan 28 2002 Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302Shramko, Yaroslav; Wansing, Heinrich 26 2006 On the representation of context. Zbl 0892.03009Stalnaker, Robert 25 1998 A calculus for first order discourse representation structures. Zbl 0865.03018Kamp, Hans; Reyle, Uwe 25 1996 Multimodal linguistic inference. Zbl 0919.03023Moortgat, Michael 24 1996 Generalized quantifiers in dependence logic. Zbl 1305.03024Engström, Fredrik 23 2012 The Lambek calculus enriched with additional connectives. Zbl 0793.03028Kanazawa, Makoto 23 1992 Probabilistic dynamic epistemic logic. Zbl 1031.03044Kooi, Barteld P. 22 2003 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 22 1999 Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence. Zbl 0793.03059D’Agostino, Marcello 21 1992 Hierarchies of modal and temporal logics with reference pointers. Zbl 0851.03003Goranko, Valentin 21 1996 A double team semantics for generalized quantifiers. Zbl 1350.03025Kuusisto, Antti 20 2015 Generalized quantifiers and modal logic. Zbl 0797.03014van der Hoek, Wiebe; de Rijke, Maarten 17 1993 Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003Andréka, Hajnal; Mikulás, Szabolcs 17 1994 Complexity of the two-variable fragment with counting quantifiers. Zbl 1082.03007Pratt-Hartmann, Ian 17 2005 The displacement calculus. Zbl 1233.03035Morrill, Glyn; Valentín, Oriol; Fadda, Mario 16 2011 Epistemic logic for rule-based agents. Zbl 1159.03010Jago, Mark 16 2009 Formal features of compositionality. Zbl 0963.03050Hodges, Wilfrid 16 2001 Modal logic over finite structures. Zbl 0882.03014Rosen, Eric 15 1997 Changes of disjunctively closed bases. Zbl 0798.03029Hansson, Sven Ove 15 1993 Terminating tableau systems for hybrid logic with difference and converse. Zbl 1188.03013Kaminski, Mark; Smolka, Gert 14 2009 A dynamic logic of agency. I: STIT, capabilities and powers. Zbl 1189.03025Herzig, Andreas; Lorini, Emiliano 14 2010 Finiteness in infinite-valued Łukasiewicz logic. Zbl 0951.03024Aguzzoli, Stefano; Ciabattoni, Agata 14 2000 Informational interpretation of substructural propositional logics. Zbl 0795.03014Wansing, Heinrich 14 1993 Counterfactuals and updates as inverse modalities. Zbl 0921.03035Ryan, Mark; Schobbens, Pierre-Yves 13 1997 Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023Demri, Stéphane; de Nivelle, Hans 13 2005 Natural deduction for first-order hybrid logic. Zbl 1068.03016Braüner, Torben 12 2005 Decidable and undecidable logics with a binary modality. Zbl 0840.03014Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András 12 1995 Independent choices and the interpretation of IF logic. Zbl 1003.03025Janssen, Theo M. V. 12 2002 Transition semantics for branching time. Zbl 1396.03027Rumberg, Antje 11 2016 Logic of transition systems. Zbl 0827.03019van Benthem, Johan; Bergstra, Jan 11 1995 Announcements to attentive agents. Zbl 1352.03021Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas; Lorini, Emiliano; Pardo, Pere; Schwarzentruber, François 10 2016 Conditional probability meets update logic. Zbl 1031.03045van Benthem, Johan 10 2003 The basic constructive logic for a weak sense of consistency. Zbl 1173.03027Robles, Gemma; Méndez, José M. 10 2008 Children’s application of theory of mind in reasoning and language. Zbl 1157.91441Flobbe, Michiel Marian Liesbeth; Verbrugge, Rineke; Hendriks, Petra; Krämer, Irene 10 2008 Descriptions of game actions. Zbl 1003.03014van Ditmarsch, Hans P. 10 2002 Weak negation in inquisitive semantics. Zbl 1369.03108Punčochář, Vít 9 2015 Temporal languages for epistemic programs. Zbl 1184.03010Sack, Joshua 9 2008 Bisimulations for temporal logic. Zbl 0882.03017Kurtonina, Natasha; de Rijke, Maarten 9 1997 A diagrammatic inference system with Euler circles. Zbl 1305.03014Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo 9 2012 Dynamic epistemic logic for implicit and explicit beliefs. Zbl 1306.03009Velázquez-Quesada, Fernando R. 9 2014 A modal perspective on the computational complexity of attribute value grammar. Zbl 0793.03018Blackburn, Patrick; Spaan, Edith 9 1993 A note on the rational closure of knowledge bases with both positive and negative knowledge. Zbl 0906.03026Booth, R.; Paris, J. B. 9 1998 Reasoning about action and change. A dynamic logic approach. Zbl 0864.03019Prendinger, Helmut; Schurz, Gerhard 9 1996 Two information measures for inconsistent sets. Zbl 1015.03035Knight, Kevin M. 9 2003 Approximate common knowledge and co-ordination: Recent lessons from game theory. Zbl 0877.68105Morris, Stephen; Shin, Hyun Song 9 1997 Implicit epistemic aspects of constructive logic. Zbl 0873.03003Sundholm, Göran 9 1997 Fragments of language. Zbl 1046.03014Pratt-Hartmann, Ian 8 2004 An equational axiomatization of dynamic negation and relational composition. Zbl 0882.03065Hollenberg, Marco 8 1997 Speaking about transitive frames in propositional languages. Zbl 0927.03036Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael 8 1998 On the expressive power of abstract categorial grammars: Representing context-free formalisms. Zbl 1062.03024de Groote, Philippe; Pogodalla, Sylvain 8 2004 Exhaustive interpretation of complex sentences. Zbl 1062.03025van Rooij, Robert; Schulz, Katrin 8 2004 Refined epistemic entrenchment. Zbl 0988.03031Meyer, Thomas Andreas; Labuschagne, Willem Adrian; Heidema, Johannes 8 2000 Tolerance logic. Zbl 1045.03031Marx, Maarten 8 2001 Sequence semantics for dynamic predicate logic. Zbl 0802.03024Vermeulen, C. F. M. 8 1993 On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert 8 1993 A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory. Zbl 1211.03039Lorini, Emiliano 8 2010 A first-order axiomatization of the theory of finite trees. Zbl 0833.03010Backofen, Rolf; Rogers, James; Vijay-Shanker, K. 8 1995 Syntactic codes and grammar refinement. Zbl 0833.03009Kracht, Marcus 8 1995 Games that agents play: A formal framework for dialogues between autonomous agents. Zbl 1002.68166McBurney, Peter; Parsons, Simon 8 2002 Kripke semantics for modal substructural logics. Zbl 1017.03011Kamide, Norihiro 8 2002 Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C. 8 2003 Information tracking in games on graphs. Zbl 1203.91033Berwanger, Dietmar; Kaiser, Łukasz 7 2010 Cut and pay. Zbl 1108.03034Finger, Marcelo; Gabbay, Dov 7 2006 Active agents. Zbl 1031.03009Hendricks, Vincent F. 7 2003 Toward discourse representation via pregroup grammars. Zbl 1160.03307Preller, Anne 7 2007 Undivided and indistinguishable histories in branching-time logics. Zbl 0921.03024Zanardo, Alberto 7 1998 Strategic reasoning: building cognitive models from logical formulas. Zbl 1305.91051Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke 7 2014 A logic for reasoning about knowledge of unawareness. Zbl 1311.03032Ågotnes, Thomas; Alechina, Natasha 7 2014 Probability logic of finitely additive beliefs. Zbl 1204.03027Zhou, Chunlai 7 2010 Two natural deduction systems for hybrid logic: A comparison. Zbl 1039.03008Braüner, Torben 7 2004 A refinement of de Bruijn’s formal language of mathematics. Zbl 1048.03011Kamareddine, Fairouz; Nederpelt, Rob 6 2004 Kolmogorov complexity and information theory. With an interpretation in terms of questions and answers. Zbl 1034.68051Grünwald, Peter D.; Vitányi, Paul M. B. 6 2003 Aspects of compositionality. Zbl 0970.03014Sandu, Gabriel; Hintikka, Jaakko 6 2001 Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators. Zbl 1396.03045Méndez, José M.; Robles, Gemma 6 2016 What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi 6 2017 The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. Zbl 1274.68151Kepser, Stephan; Rogers, Jim 6 2011 Semantics as a foundation for psychology: A case study of Wason’s selection task. Zbl 0986.91520Stenning, Keith; van Lambalgen, Michiel 6 2001 Belief fusion: Aggregating pedigreed belief states. Zbl 1021.03008Maynard-Reid, Pedrito II; Shoham, Yoav 6 2001 Linguistic application of first order intuitionistic linear logic. Zbl 0984.03028Moot, Richard; Piazza, Mario 6 2001 Resolution calculus for the first order linear logic. Zbl 0793.03006Mints, Grigori 6 1993 Functional dependencies, supervenience, and consequence relations. Zbl 0804.68036Humberstone, I. L. 6 1993 Resolving conflicting information. Zbl 0897.03027Cantwell, John 6 1998 Substructural logics with mingle. Zbl 1003.03019Kamide, Norihiro 6 2002 A structuralist theory of belief revision. Zbl 1226.03030Andreas, Holger 6 2011 Residuation, structural rules and context freeness. Zbl 1039.03018Jäger, Gerhard 6 2004 Expressive power of “now” and “then” operators. Zbl 1369.03110Yanovich, Igor 5 2015 Means-end relations and a measure of efficacy. Zbl 1108.03039Hughes, Jesse; Esterline, Albert; Kimiaghalam, Bahram 5 2006 Inquisitive propositional dynamic logic. Zbl 1496.03135Punčochář, Vít; Sedlár, Igor 2 2021 Coalition and relativised group announcement logic. Zbl 07413551Galimullin, Rustam 2 2021 The multiplicative-additive Lambek calculus with subexponential and bracket modalities. Zbl 1496.03087Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 1 2021 A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\). Zbl 1496.03110Robles, Gemma; Méndez, José M. 1 2021 Verification and strategy synthesis for coalition announcement logic. Zbl 1496.03066Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo 1 2021 Completeness for the classical antecedent fragment of inquisitive first-order logic. Zbl 1496.03121Grilletti, Gianluca 1 2021 Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base. Zbl 1477.68299Robaldo, Livio; Bartolini, Cesare; Palmirani, Monica; Rossi, Arianna; Martoni, Michele; Lenzini, Gabriele 2 2020 On the logic of balance in social networks. Zbl 1435.03058Xiong, Zuojun; Ågotnes, Thomas 2 2020 The class of all natural implicative expansions of Kleene’s strong logic functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. Zbl 1477.03064Robles, Gemma; Méndez, José M. 2 2020 A four-valued dynamic epistemic logic. Zbl 1477.03043Santos, Yuri David 1 2020 Natural density and the quantifier “most”. Zbl 1477.03113Topal, Selçuk; Çevik, Ahmet 1 2020 Group conformity in social networks. Zbl 1435.91138Morrison, Colby; Naumov, Pavel 1 2020 Multi-agent logics for reasoning about higher-order upper and lower probabilities. Zbl 1477.03069Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 1 2020 A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction. Zbl 1477.03115Wijnholds, Gijs; Sadrzadeh, Mehrnoosh 5 2019 On Beall’s new interpretation of \(WK_{3}\). Zbl 1477.03009Francez, Nissim 3 2019 Conditionals, causality and conditional probability. Zbl 1477.03019van Rooij, Robert; Schulz, Katrin 3 2019 Parsing/theorem-proving for logical grammar CatLog3. Zbl 1478.68416Morrill, Glyn 2 2019 On involutive nonassociative Lambek calculus. Zbl 1477.03063Buszkowski, Wojciech 1 2019 A class of conceptual spaces consisting of boundaries of infinite \(p\)-ary trees. Zbl 1477.03114Urban, Roman; Mróz, Simona 1 2019 First-order definability of transition structures. Zbl 07099908Rumberg, Antje; Zanardo, Alberto 1 2019 Preferential accessibility and preferred worlds. Zbl 07003154Britz, Katarina; Varzinczak, Ivan 4 2018 On the recognizing power of the Lambek calculus with brackets. Zbl 1427.03040Kanazawa, Makoto 2 2018 Diversification of object-languages for propositional logics. Zbl 07003157Francez, Nissim 1 2018 Reverse public announcement operators on expanded models. Zbl 1441.03016Haney, Ryuichi Sebastian 1 2018 What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi 6 2017 In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038Koutras, Costas D.; Rantsoudis, Christos 2 2017 Adjectival and adverbial modification: the view from modern type theories. Zbl 1420.03055Chatzikyriakidis, Stergios; Luo, Zhaohui 2 2017 Language-theoretic and finite relation models for the (full) Lambek calculus. Zbl 1420.03041Wurm, Christian 1 2017 Transition semantics for branching time. Zbl 1396.03027Rumberg, Antje 11 2016 Announcements to attentive agents. Zbl 1352.03021Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas; Lorini, Emiliano; Pardo, Pere; Schwarzentruber, François 10 2016 Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators. Zbl 1396.03045Méndez, José M.; Robles, Gemma 6 2016 Reflecting on social influence in networks. Zbl 1396.03082Christoff, Zoé; Hansen, Jens Ulrik; Proietti, Carlo 4 2016 Erotetic search scenarios and three-valued logic. Zbl 1355.03020Leszczyńska-Jasion, Dorota; Łupkowski, Paweł 3 2016 Compositional signaling in a complex world. Zbl 1380.68372Steinert-Threlkeld, Shane 3 2016 Blockage revision. Zbl 1353.03009Hansson, Sven Ove 1 2016 Subatomic natural deduction for a naturalistic first-order language with non-primitive identity. Zbl 1396.03110Więckowski, Bartosz 1 2016 Natural deduction for modal logic of judgment aggregation. Zbl 1396.03035Perkov, Tin 1 2016 The evolution of compositionality in signaling games. Zbl 1380.91028Franke, Michael 1 2016 A double team semantics for generalized quantifiers. Zbl 1350.03025Kuusisto, Antti 20 2015 Weak negation in inquisitive semantics. Zbl 1369.03108Punčochář, Vít 9 2015 Expressive power of “now” and “then” operators. Zbl 1369.03110Yanovich, Igor 5 2015 Dependence logic with a majority quantifier. Zbl 1368.03040Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert 4 2015 Not only Barbara. Zbl 1350.03027Dekker, Paul J. E. 3 2015 On the diagrammatic representation of existential statements with Venn diagrams. Zbl 1350.03013Moktefi, Amirouche; Pietarinen, Ahti-Veikko 3 2015 How diagrams can support syllogistic reasoning: an experimental study. Zbl 1350.03012Sato, Yuri; Mineshima, Koji 3 2015 Speedith: a reasoner for spider diagrams. Zbl 1362.68252Urbas, Matej; Jamnik, Mateja; Stapleton, Gem 3 2015 Preference change. Zbl 1345.03028Cadilhac, Anaïs; Asher, Nicholas; Lascarides, Alex; Benamara, Farah 1 2015 Logic reduced to bare (proof-theoretical) bones. Zbl 1350.03044Peregrin, Jaroslav 1 2015 Special issue on Euler and Venn diagrams: Guest editors’ introduction. Zbl 1349.03005 1 2015 Logical geometries and information in the square of oppositions. Zbl 1306.03005Smessaert, Hans; Demey, Lorenz 28 2014 Dynamic epistemic logic for implicit and explicit beliefs. Zbl 1306.03009Velázquez-Quesada, Fernando R. 9 2014 Strategic reasoning: building cognitive models from logical formulas. Zbl 1305.91051Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke 7 2014 A logic for reasoning about knowledge of unawareness. Zbl 1311.03032Ågotnes, Thomas; Alechina, Natasha 7 2014 Semantics for knowledge and change of awareness. Zbl 1305.68163van Ditmarsch, Hans; French, Tim 5 2014 Hybrid-logical reasoning in the Smarties and Sally-Anne tasks. Zbl 1306.03010Braüner, Torben 4 2014 Natural language inference in Coq. Zbl 1305.68193Chatzikyriakidis, Stergios; Luo, Zhaohui 4 2014 On the identification of quantifiers’ witness sets: a study of multi-quantifier sentences. Zbl 1305.03030Robaldo, Livio; Szymanik, Jakub; Meijering, Ben 2 2014 Blocking the routes to triviality with depth relevance. Zbl 1323.03023Robles, Gemma; Méndez, José M. 2 2014 A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 Generation and selection of abductive explanations for non-omniscient agents. Zbl 1305.68162Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R. 1 2014 Action type deontic logic. Zbl 1311.03036Bentzen, Martin Mose 1 2014 Equiparadoxicality of Yablo’s paradox and the liar. Zbl 1305.03009Hsiung, Ming 4 2013 Inferential conditionals and evidentiality. Zbl 1305.03010Krzyżanowska, K.; Wenmackers, S.; Douven, I. 4 2013 An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system. Zbl 1305.68197Gierasimczuk, Nina; van der Maas, Han L. J.; Raijmakers, Maartje E. J. 2 2013 Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents. Zbl 1305.68094Schlotterbeck, Fabian; Bott, Oliver 2 2013 Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning. Zbl 1305.03008Hamami, Yacin; Mumma, John 2 2013 Repertoire contraction. Zbl 1305.03016Hansson, Sven Ove 1 2013 Syllogisms in rudimentary linear logic, diagrammatically. Zbl 1305.03056Pagnan, Ruggero 1 2013 Paraconsistency and plausible argumentation in generative grammar: A case study. Zbl 1305.03026Kertész, András; Rákosi, Csilla 1 2013 The dynamification of modal dependence logic. Zbl 1305.03018Galliani, Pietro 1 2013 Generalized quantifiers in dependence logic. Zbl 1305.03024Engström, Fredrik 23 2012 A diagrammatic inference system with Euler circles. Zbl 1305.03014Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo 9 2012 The fall of “Adams’ thesis”? Zbl 1305.03007Hájek, Alan 4 2012 A diagrammatic calculus of syllogisms. Zbl 1305.03015Pagnan, Ruggero 4 2012 Bidirectional optimization from reasoning and learning in games. Zbl 1305.68196Franke, Michael; Jäger, Gerhard 3 2012 Errors in pragmatics. Zbl 1305.91207Benz, Anton 2 2012 Probabilities as ratios of ranges in initial-state spaces. Zbl 1305.03012Rosenthal, Jacob 2 2012 Geometric representations for minimalist grammars. Zbl 1305.91210beim Graben, Peter; Gerth, Sabrina 2 2012 A system of relational syllogistic incorporating full Boolean reasoning. Zbl 1305.03025Ivanov, Nikolay; Vakarelov, Dimiter 2 2012 Probability as a measure of information added. Zbl 1305.03011Milne, Peter 1 2012 Symmetry in polyadic inductive logic. Zbl 1305.03022Paris, J. B.; Vencovská, A. 1 2012 Questions and answers in an orthoalgebraic approach. Zbl 1305.03005Blutner, Reinhard 1 2012 Sequential dynamic logic. Zbl 1305.03020Bochman, Alexander; Gabbay, Dov M. 1 2012 Explaining quantity implicatures. Zbl 1305.91211van Rooij, Robert; de Jager, Tikitu 1 2012 The displacement calculus. Zbl 1233.03035Morrill, Glyn; Valentín, Oriol; Fadda, Mario 16 2011 The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. Zbl 1274.68151Kepser, Stephan; Rogers, Jim 6 2011 A structuralist theory of belief revision. Zbl 1226.03030Andreas, Holger 6 2011 Aural pattern recognition experiments and the subregular hierarchy. Zbl 1243.68260Rogers, James; Pullum, Geoffrey K. 5 2011 Variation on a trivialist argument of Paul Kabay. Zbl 1231.03005Humberstone, Lloyd 4 2011 Semantic vector models and functional models for pregroup grammars. Zbl 1305.03028Preller, Anne; Sadrzadeh, Mehrnoosh 4 2011 Erratum to: “On definability in dependence logic”. Zbl 1208.03034Kontinen, Juha; Väänänen, Jouko 3 2011 Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158Bouyer, Patricia; Cassez, Franck; Laroussinie, François 3 2011 The Hamiltonian syllogistic. Zbl 1305.03027Pratt-Hartmann, Ian 2 2011 On the mathematical foundations of Syntactic structures. Zbl 1244.03104Pullum, Geoffrey K. 2 2011 Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. Zbl 1234.03015Robaldo, Livio 2 2011 Concrete digital computation: what does it take for a physical system to compute? Zbl 1305.03006Fresco, Nir 1 2011 A mathematical model of prediction-driven instability: how social structure can drive language change. Zbl 1243.91095Mitchener, W. Garrett 1 2011 Syntactic structures and recursive devices: a legacy of imprecision. Zbl 1244.03105Tomalin, Marcus 1 2011 Syllogistic logic with comparative adjectives. Zbl 1243.03043Moss, Lawrence S. 1 2011 Synchronizing diachronic uncertainty. Zbl 1233.03009Isaac, Alistair; Hoshi, Tomohiro 1 2011 ...and 252 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,561 Authors 28 Coolen, Frank P. A. 28 van Benthem, Johan F. A. K. 26 Kamide, Norihiro 25 van Ditmarsch, Hans Pieter 22 Wansing, Heinrich Theodor 19 Dubois, Didier 19 Hansson, Sven Ove 18 Gabbay, Dov M. 15 Coolen-Maturi, Tahani 15 Robles, Gemma 14 Demey, Lorenz 14 Galliani, Pietro 14 Lorini, Emiliano 13 Ågotnes, Thomas 13 Kontinen, Juha 13 Prade, Henri M. 12 van der Hoek, Wiebe 12 Verbrugge, Rineke 11 Kuznetsov, Stepan L’vovich 11 Marx, Maarten 11 Pacuit, Eric 10 Areces, Carlos 10 Baltag, Alexandru 10 Martins, Manuel António 10 Palmigiano, Alessandra 10 Rivieccio, Umberto 10 Sadrzadeh, Mehrnoosh 10 Smets, Sonja J. L. 10 Velázquez-Quesada, Fernando Raymundo 10 Wang, Yanjing 9 Benevides, Mario R. F. 9 Blackburn, Patrick 9 Braüner, Torben 9 Ciardelli, Ivano A. 9 Fermé, Eduardo Leopoldo 9 Finger, Marcelo 9 Ghosh, Sujata 9 Kooi, Barteld Pieter 9 Madeira, Alexandre 9 Meyer, Thomas Andreas 9 Yang, Fan 8 Coolen-Schrijner, Pauline 8 Morrill, Glyn V. 8 Odintsov, Sergei P. 8 Reis, Maurício D. L. 8 Rott, Hans 8 Szymanik, Jakub 8 Väänänen, Jouko Antero 7 Balbiani, Philippe 7 Barbero, Fausto 7 Bochman, Alexander 7 Booth, Richard F. 7 Buszkowski, Wojciech 7 D’Agostino, Marcello 7 Flaminio, Tommaso 7 Francez, Nissim 7 Grädel, Erich 7 Herzig, Andreas 7 Hoshi, Tomohiro 7 Humberstone, Lloyd 7 Mikulás, Szabolcs 7 Riečan, Beloslav 7 Salvati, Sylvain 7 Shramko, Yaroslav V. 7 Simari, Guillermo Ricardo 7 ten Cate, Balder David 7 van Rooy, Robert 7 Wooldridge, Michael J. 6 Alechina, Natasha 6 Arieli, Ofer 6 Benferhat, Salem 6 de Rijke, Maarten 6 Demri, Stéphane P. 6 Falappa, Marcelo Alejandro 6 Goranko, Valentin F. 6 Kanovich, Max Iosifovich 6 Lapenta, Serafina 6 Otto, Martin 6 Parikh, Rohit 6 Sano, Katsuhiko 6 Schwarzentruber, François 6 Smessaert, Hans 6 Vakarelov, Dimiter 6 Valentín, Oriol 6 van Eijck, Jan 6 Virtema, Jonni 5 Andréka, Hajnal 5 Baader, Franz 5 Cantwell, John C. 5 Cialdea Mayer, Marta 5 Conradie, Willem 5 Égré, Paul 5 Figueira, Santiago 5 French, Tim 5 García, Alejandro Javier 5 Godo, Lluís 5 Horrocks, Ian 5 Kuusisto, Antti 5 Leuştean, Ioana 5 Montagna, Franco ...and 1,461 more Authors all top 5 Cited in 125 Journals 147 Journal of Logic, Language and Information 132 Studia Logica 101 Journal of Philosophical Logic 91 Synthese 74 Artificial Intelligence 70 Journal of Applied Non-Classical Logics 52 Theoretical Computer Science 45 Annals of Pure and Applied Logic 37 The Review of Symbolic Logic 36 Journal of Applied Logic 33 Notre Dame Journal of Formal Logic 28 Information and Computation 24 Erkenntnis 23 International Journal of Approximate Reasoning 21 Fuzzy Sets and Systems 20 Annals of Mathematics and Artificial Intelligence 18 The Journal of Symbolic Logic 18 Logic and Logical Philosophy 15 Logica Universalis 14 Journal of Statistical Theory and Practice 13 Journal of Automated Reasoning 13 Journal of Logical and Algebraic Methods in Programming 12 Archive for Mathematical Logic 11 Soft Computing 9 Journal of Computer and System Sciences 9 The Bulletin of Symbolic Logic 9 Topoi 8 Algebra Universalis 7 International Game Theory Review 7 ACM Transactions on Computational Logic 6 Information Sciences 6 History and Philosophy of Logic 6 International Journal of Intelligent Systems 6 MSCS. Mathematical Structures in Computer Science 6 Mathematical Logic Quarterly (MLQ) 6 Logical Methods in Computer Science 5 Journal of Statistical Planning and Inference 5 Theory of Computing Systems 4 Journal of Pure and Applied Algebra 4 Mathematical Social Sciences 4 Games and Economic Behavior 4 Communications in Statistics. Theory and Methods 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Games 3 International Journal of Theoretical Physics 3 Information Processing Letters 3 Formal Aspects of Computing 3 Foundations of Science 3 Foundations of Physics 3 Nôus 2 Algebra and Logic 2 Journal of Algebra 2 Kybernetika 2 Mathematica Slovaca 2 Bulletin of the Section of Logic 2 Machine Learning 2 International Journal of Foundations of Computer Science 2 International Journal of Computer Mathematics 2 Linear Algebra and its Applications 2 Computational Statistics and Data Analysis 2 The Journal of Artificial Intelligence Research (JAIR) 2 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Journal of Siberian Federal University. Mathematics & Physics 1 ACM Computing Surveys 1 Acta Informatica 1 International Journal of General Systems 1 International Journal of Mathematical Education in Science and Technology 1 Journal of Statistical Physics 1 Mathematical Biosciences 1 Metrika 1 Bulletin of Mathematical Biology 1 Automatica 1 Journal of Combinatorial Theory. Series B 1 Journal of Mathematical Economics 1 Linguistics and Philosophy 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 SIAM Journal on Computing 1 Statistics & Probability Letters 1 Theoria. Segunda Epoca 1 Graphs and Combinatorics 1 Journal of Symbolic Computation 1 New Generation Computing 1 Annals of Operations Research 1 Random Structures & Algorithms 1 Neural Computation 1 International Journal of Algebra and Computation 1 Communications in Statistics. Simulation and Computation 1 European Journal of Operational Research 1 SIAM Journal on Applied Mathematics 1 Indagationes Mathematicae. New Series 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Economic Theory 1 Mathematical Problems in Engineering 1 Journal of Combinatorial Optimization 1 Journal for Geometry and Graphics 1 Journal of the ACM 1 Data Mining and Knowledge Discovery 1 Journal of Applied Statistics ...and 25 more Journals all top 5 Cited in 33 Fields 1,253 Mathematical logic and foundations (03-XX) 627 Computer science (68-XX) 159 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 69 Order, lattices, ordered algebraic structures (06-XX) 39 Statistics (62-XX) 27 History and biography (01-XX) 17 General and overarching topics; collections (00-XX) 17 Probability theory and stochastic processes (60-XX) 15 Category theory; homological algebra (18-XX) 13 General algebraic systems (08-XX) 12 Biology and other natural sciences (92-XX) 11 Quantum theory (81-XX) 10 Combinatorics (05-XX) 10 Information and communication theory, circuits (94-XX) 6 Geometry (51-XX) 6 Numerical analysis (65-XX) 4 Measure and integration (28-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 General topology (54-XX) 4 Operations research, mathematical programming (90-XX) 4 Mathematics education (97-XX) 3 Relativity and gravitational theory (83-XX) 2 Group theory and generalizations (20-XX) 2 Convex and discrete geometry (52-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Functional analysis (46-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Systems theory; control (93-XX) Citations by Year