## Journal of Logic, Language and Information

### Official 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: 560 Publications (since 1992) References Indexed: 372 Publications with 11,231 References.
all top 5

### Latest Issues

 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) 6, No. 1 (1997) 5, No. 3-4 (1996) ...and 16 more Volumes
all top 5

### Authors

 9 Robles, Gemma 8 Gabbay, Dov M. 7 de Rijke, Maarten 7 van Benthem, Johan F. A. K. 6 Alechina, Natasha 6 Francez, Nissim 5 Blackburn, Patrick 5 Hansson, Sven Ove 5 Kamareddine, Fairouz D. 5 Kamide, Norihiro 5 Kanazawa, Makoto 5 Retoré, Christian 5 Winter, Yoad 4 Ågotnes, Thomas 4 Braüner, Torben 4 Cantwell, John C. 4 Chatzikyriakidis, Stergios 4 Kontinen, Juha 4 Lorini, Emiliano 4 Paris, Jeffrey Bruce 4 Pratt-Hartmann, Ian 4 Stapleton, Gem 4 Treur, Jan 4 Väänänen, Jouko Antero 4 van der Hoek, Wiebe 4 van Ditmarsch, Hans Pieter 4 van Rooy, Robert 4 Verbrugge, Rineke 4 Visser, Albert 4 Wintner, Shuly 3 Demri, Stéphane P. 3 Engelfriet, Joeri 3 Fulop, Sean A. 3 Goranko, Valentin F. 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 Shimojima, Atsushi 3 Shoham, Yoav 3 Szymanik, Jakub 3 Tohmé, Fernando A. 3 Velázquez-Quesada, Fernando Raymundo 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 Galimullin, Rustam 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 2 Meijering, Ben 2 Meyer, John-Jules Charles ...and 561 more Authors
all top 5

### Fields

 465 Mathematical logic and foundations (03-XX) 238 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)

### Citations contained in zbMATH Open

339 Publications have been cited 1,920 times in 1,496 Documents Cited by Year
Reasoning with logical bilattices. Zbl 0851.03017
Arieli, Ofer; Avron, Arnon
1996
Reasoning about information change. Zbl 0873.03029
Gerbrandy, Jelle; Groeneveld, Willem
1997
A knowledge based semantics of messages. Zbl 1031.03021
Parikh, Rohit; Ramanujam, Ramaswamy
2003
An algebraic approach to propositional fuzzy logic. Zbl 0942.06006
Montagna, Franco
2000
A survey of multiple contractions. Zbl 0791.03014
Fuhrmann, André; Hansson, Sven Ove
1994
Hybrid languages. Zbl 0847.03009
Blackburn, Patrick; Seligman, Jerry
1995
On nonparametric predictive inference and objective Bayesianism. Zbl 1100.62057
Coolen, F. P. A.
2006
On definability in dependence logic. Zbl 1182.03063
Kontinen, Juha; Väänänen, Jouko
2009
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
1992
Knowledge-driven versus data-driven logics. Zbl 0942.03023
Dubois, Didier; Hájek, Petr; Prade, Henri
2000
Preferential belief change using generalized epistemic entrenchment. Zbl 0794.03039
Rott, Hans
1992
Extensive games as process models. Zbl 1003.03530
van Benthem, Johan
2002
A calculus for first order discourse representation structures. Zbl 0865.03018
Kamp, Hans; Reyle, Uwe
1996
Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302
Shramko, Yaroslav; Wansing, Heinrich
2006
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
1999
The Lambek calculus enriched with additional connectives. Zbl 0793.03028
Kanazawa, Makoto
1992
Hierarchies of modal and temporal logics with reference pointers. Zbl 0851.03003
Goranko, Valentin
1996
On the representation of context. Zbl 0892.03009
Stalnaker, Robert
1998
Probabilistic dynamic epistemic logic. Zbl 1031.03044
Kooi, Barteld P.
2003
Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence. Zbl 0793.03059
D’Agostino, Marcello
1992
Multimodal linguistic inference. Zbl 0919.03023
Moortgat, Michael
1996
Generalized quantifiers in dependence logic. Zbl 1305.03024
Engström, Fredrik
2012
Complexity of the two-variable fragment with counting quantifiers. Zbl 1082.03007
Pratt-Hartmann, Ian
2005
The displacement calculus. Zbl 1233.03035
Morrill, Glyn; Valentín, Oriol; Fadda, Mario
2011
A double team semantics for generalized quantifiers. Zbl 1350.03025
Kuusisto, Antti
2015
Generalized quantifiers and modal logic. Zbl 0797.03014
van der Hoek, Wiebe; de Rijke, Maarten
1993
Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003
Andréka, Hajnal; Mikulás, Szabolcs
1994
Formal features of compositionality. Zbl 0963.03050
Hodges, Wilfrid
2001
Changes of disjunctively closed bases. Zbl 0798.03029
Hansson, Sven Ove
1993
Finiteness in infinite-valued Łukasiewicz logic. Zbl 0951.03024
Aguzzoli, Stefano; Ciabattoni, Agata
2000
Modal logic over finite structures. Zbl 0882.03014
Rosen, Eric
1997
Terminating tableau systems for hybrid logic with difference and converse. Zbl 1188.03013
Kaminski, Mark; Smolka, Gert
2009
Counterfactuals and updates as inverse modalities. Zbl 0921.03035
Ryan, Mark; Schobbens, Pierre-Yves
1997
Informational interpretation of substructural propositional logics. Zbl 0795.03014
Wansing, Heinrich
1993
Epistemic logic for rule-based agents. Zbl 1159.03010
Jago, Mark
2009
Natural deduction for first-order hybrid logic. Zbl 1068.03016
Braüner, Torben
2005
A dynamic logic of agency. I: STIT, capabilities and powers. Zbl 1189.03025
Herzig, Andreas; Lorini, Emiliano
2010
Independent choices and the interpretation of IF logic. Zbl 1003.03025
Janssen, Theo M. V.
2002
Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023
Demri, Stéphane; de Nivelle, Hans
2005
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
1995
Decidable and undecidable logics with a binary modality. Zbl 0840.03014
Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
1995
Logical geometries and information in the square of oppositions. Zbl 1306.03005
Smessaert, Hans; Demey, Lorenz
2014
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
2003
Descriptions of game actions. Zbl 1003.03014
van Ditmarsch, Hans P.
2002
The basic constructive logic for a weak sense of consistency. Zbl 1173.03027
Robles, Gemma; Méndez, José M.
2008
Children’s application of theory of mind in reasoning and language. Zbl 1157.91441
Flobbe, Michiel Marian Liesbeth; Verbrugge, Rineke; Hendriks, Petra; Krämer, Irene
2008
A note on the rational closure of knowledge bases with both positive and negative knowledge. Zbl 0906.03026
Booth, R.; Paris, J. B.
1998
Announcements to attentive agents. Zbl 1352.03021
Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas; Lorini, Emiliano; Pardo, Pere; Schwarzentruber, François
2016
Approximate common knowledge and co-ordination: Recent lessons from game theory. Zbl 0877.68105
Morris, Stephen; Shin, Hyun Song
1997
Implicit epistemic aspects of constructive logic. Zbl 0873.03003
Sundholm, Göran
1997
Tolerance logic. Zbl 1045.03031
Marx, Maarten
2001
A diagrammatic inference system with Euler circles. Zbl 1305.03014
Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo
2012
Dynamic epistemic logic for implicit and explicit beliefs. Zbl 1306.03009
2014
Refined epistemic entrenchment. Zbl 0988.03031
Meyer, Thomas Andreas; Labuschagne, Willem Adrian; Heidema, Johannes
2000
Kripke semantics for modal substructural logics. Zbl 1017.03011
Kamide, Norihiro
2002
Two information measures for inconsistent sets. Zbl 1015.03035
Knight, Kevin M.
2003
Speaking about transitive frames in propositional languages. Zbl 0927.03036
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael
1998
A dynamic logic of agency. II: Deterministic $${\mathcal{DLA}}$$, coalition logic, and game theory. Zbl 1211.03039
Lorini, Emiliano
2010
On the expressive power of abstract categorial grammars: Representing context-free formalisms. Zbl 1062.03024
de Groote, Philippe; Pogodalla, Sylvain
2004
Fragments of language. Zbl 1046.03014
Pratt-Hartmann, Ian
2004
Bisimulations for temporal logic. Zbl 0882.03017
Kurtonina, Natasha; de Rijke, Maarten
1997
A first-order axiomatization of the theory of finite trees. Zbl 0833.03010
Backofen, Rolf; Rogers, James; Vijay-Shanker, K.
1995
Syntactic codes and grammar refinement. Zbl 0833.03009
Kracht, Marcus
1995
Transition semantics for branching time. Zbl 1396.03027
Rumberg, Antje
2016
A modal perspective on the computational complexity of attribute value grammar. Zbl 0793.03018
Blackburn, Patrick; Spaan, Edith
1993
Temporal languages for epistemic programs. Zbl 1184.03010
Sack, Joshua
2008
Reasoning about action and change. A dynamic logic approach. Zbl 0864.03019
Prendinger, Helmut; Schurz, Gerhard
1996
Two natural deduction systems for hybrid logic: A comparison. Zbl 1039.03008
Braüner, Torben
2004
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
2003
Active agents. Zbl 1031.03009
Hendricks, Vincent F.
2003
Games that agents play: A formal framework for dialogues between autonomous agents. Zbl 1002.68166
McBurney, Peter; Parsons, Simon
2002
Probability logic of finitely additive beliefs. Zbl 1204.03027
Zhou, Chunlai
2010
An equational axiomatization of dynamic negation and relational composition. Zbl 0882.03065
Hollenberg, Marco
1997
Sequence semantics for dynamic predicate logic. Zbl 0802.03024
Vermeulen, C. F. M.
1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
1993
Toward discourse representation via pregroup grammars. Zbl 1160.03307
Preller, Anne
2007
Belief fusion: Aggregating pedigreed belief states. Zbl 1021.03008
Maynard-Reid, Pedrito II; Shoham, Yoav
2001
Linguistic application of first order intuitionistic linear logic. Zbl 0984.03028
Moot, Richard; Piazza, Mario
2001
Residuation, structural rules and context freeness. Zbl 1039.03018
Jäger, Gerhard
2004
The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. Zbl 1274.68151
Kepser, Stephan; Rogers, Jim
2011
Strategic reasoning: building cognitive models from logical formulas. Zbl 1305.91051
Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke
2014
A logic for reasoning about knowledge of unawareness. Zbl 1311.03032
Ågotnes, Thomas; Alechina, Natasha
2014
Substructural logics with mingle. Zbl 1003.03019
Kamide, Norihiro
2002
Undivided and indistinguishable histories in branching-time logics. Zbl 0921.03024
Zanardo, Alberto
1998
Information tracking in games on graphs. Zbl 1203.91033
Berwanger, Dietmar; Kaiser, Łukasz
2010
Exhaustive interpretation of complex sentences. Zbl 1062.03025
van Rooij, Robert; Schulz, Katrin
2004
A refinement of de Bruijn’s formal language of mathematics. Zbl 1048.03011
Kamareddine, Fairouz; Nederpelt, Rob
2004
Weak negation in inquisitive semantics. Zbl 1369.03108
Punčochář, Vít
2015
Resolution calculus for the first order linear logic. Zbl 0793.03006
Mints, Grigori
1993
Functional dependencies, supervenience, and consequence relations. Zbl 0804.68036
Humberstone, I. L.
1993
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
2006
Resolving conflicting information. Zbl 0897.03027
Cantwell, John
1998
Semantics as a foundation for psychology: A case study of Wason’s selection task. Zbl 0986.91520
Stenning, Keith; van Lambalgen, Michiel
2001
Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators. Zbl 1396.03045
Méndez, José M.; Robles, Gemma
2016
Compositionality and model-theoretic interpretation. Zbl 0958.03020
Hendriks, Herman
2001
Aspects of compositionality. Zbl 0970.03014
Sandu, Gabriel; Hintikka, Jaakko
2001
Kolmogorov complexity and information theory. With an interpretation in terms of questions and answers. Zbl 1034.68051
Grünwald, Peter D.; Vitányi, Paul M. B.
2003
Meaning and use of indefinite expressions. Zbl 1036.03029
Dekker, Paul
2002
The knower paradox in the light of provability interpretations of modal logic. Zbl 1067.03008
Égré, Paul
2005
Categorial inference and modal logic. Zbl 0915.03021
Kurtonina, Natasha
1998
A basic dual intuitionistic logic and some of its extensions included in $$\mathrm{G}3_{\mathrm{DH}}$$. Zbl 07363547
Robles, Gemma; Méndez, José M.
2021
Group conformity in social networks. Zbl 1435.91138
Morrison, Colby; Naumov, Pavel
2020
The class of all natural implicative expansions of Kleene’s strong logic functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. Zbl 1477.03064
Robles, Gemma; Méndez, José M.
2020
Natural density and the quantifier “most”. Zbl 1477.03113
Topal, Selçuk; Çevik, Ahmet
2020
A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction. Zbl 1477.03115
2019
On Beall’s new interpretation of $$WK_{3}$$. Zbl 1477.03009
Francez, Nissim
2019
Conditionals, causality and conditional probability. Zbl 1477.03019
van Rooij, Robert; Schulz, Katrin
2019
First-order definability of transition structures. Zbl 07099908
Rumberg, Antje; Zanardo, Alberto
2019
On involutive nonassociative Lambek calculus. Zbl 1477.03063
Buszkowski, Wojciech
2019
Parsing/theorem-proving for logical grammar CatLog3. Zbl 1478.68416
Morrill, Glyn
2019
Preferential accessibility and preferred worlds. Zbl 07003154
Britz, Katarina; Varzinczak, Ivan
2018
On the recognizing power of the Lambek calculus with brackets. Zbl 1427.03040
Kanazawa, Makoto
2018
Diversification of object-languages for propositional logics. Zbl 07003157
Francez, Nissim
2018
What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294
Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi
2017
In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038
Koutras, Costas D.; Rantsoudis, Christos
2017
Adjectival and adverbial modification: the view from modern type theories. Zbl 1420.03055
Chatzikyriakidis, Stergios; Luo, Zhaohui
2017
Announcements to attentive agents. Zbl 1352.03021
Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas; Lorini, Emiliano; Pardo, Pere; Schwarzentruber, François
2016
Transition semantics for branching time. Zbl 1396.03027
Rumberg, Antje
2016
Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators. Zbl 1396.03045
Méndez, José M.; Robles, Gemma
2016
Reflecting on social influence in networks. Zbl 1396.03082
Christoff, Zoé; Hansen, Jens Ulrik; Proietti, Carlo
2016
Compositional signaling in a complex world. Zbl 1380.68372
Steinert-Threlkeld, Shane
2016
Erotetic search scenarios and three-valued logic. Zbl 1355.03020
Leszczyńska-Jasion, Dorota; Łupkowski, Paweł
2016
Natural deduction for modal logic of judgment aggregation. Zbl 1396.03035
Perkov, Tin
2016
The evolution of compositionality in signaling games. Zbl 1380.91028
Franke, Michael
2016
Subatomic natural deduction for a naturalistic first-order language with non-primitive identity. Zbl 1396.03110
Więckowski, Bartosz
2016
Blockage revision. Zbl 1353.03009
Hansson, Sven Ove
2016
A double team semantics for generalized quantifiers. Zbl 1350.03025
Kuusisto, Antti
2015
Weak negation in inquisitive semantics. Zbl 1369.03108
Punčochář, Vít
2015
Expressive power of “now” and “then” operators. Zbl 1369.03110
Yanovich, Igor
2015
Dependence logic with a majority quantifier. Zbl 1368.03040
Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert
2015
Not only Barbara. Zbl 1350.03027
Dekker, Paul J. E.
2015
Speedith: a reasoner for spider diagrams. Zbl 1362.68252
Urbas, Matej; Jamnik, Mateja; Stapleton, Gem
2015
On the diagrammatic representation of existential statements with Venn diagrams. Zbl 1350.03013
Moktefi, Amirouche; Pietarinen, Ahti-Veikko
2015
How diagrams can support syllogistic reasoning: an experimental study. Zbl 1350.03012
Sato, Yuri; Mineshima, Koji
2015
Preference change. Zbl 1345.03028
Cadilhac, Anaïs; Asher, Nicholas; Lascarides, Alex; Benamara, Farah
2015
Logic reduced to bare (proof-theoretical) bones. Zbl 1350.03044
Peregrin, Jaroslav
2015
Special issue on Euler and Venn diagrams: Guest editors’ introduction. Zbl 1349.03005
2015
Logical geometries and information in the square of oppositions. Zbl 1306.03005
Smessaert, Hans; Demey, Lorenz
2014
Dynamic epistemic logic for implicit and explicit beliefs. Zbl 1306.03009
2014
Strategic reasoning: building cognitive models from logical formulas. Zbl 1305.91051
Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke
2014
A logic for reasoning about knowledge of unawareness. Zbl 1311.03032
Ågotnes, Thomas; Alechina, Natasha
2014
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks. Zbl 1306.03010
Braüner, Torben
2014
Semantics for knowledge and change of awareness. Zbl 1305.68163
van Ditmarsch, Hans; French, Tim
2014
Natural language inference in Coq. Zbl 1305.68193
Chatzikyriakidis, Stergios; Luo, Zhaohui
2014
On the identification of quantifiers’ witness sets: a study of multi-quantifier sentences. Zbl 1305.03030
Robaldo, Livio; Szymanik, Jakub; Meijering, Ben
2014
A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta
2014
Generation and selection of abductive explanations for non-omniscient agents. Zbl 1305.68162
2014
Action type deontic logic. Zbl 1311.03036
Bentzen, Martin Mose
2014
Blocking the routes to triviality with depth relevance. Zbl 1323.03023
Robles, Gemma; Méndez, José M.
2014
Hsiung, Ming
2013
Inferential conditionals and evidentiality. Zbl 1305.03010
Krzyżanowska, K.; Wenmackers, S.; Douven, I.
2013
An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system. Zbl 1305.68197
Gierasimczuk, Nina; van der Maas, Han L. J.; Raijmakers, Maartje E. J.
2013
Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents. Zbl 1305.68094
Schlotterbeck, Fabian; Bott, Oliver
2013
Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning. Zbl 1305.03008
Hamami, Yacin; Mumma, John
2013
Repertoire contraction. Zbl 1305.03016
Hansson, Sven Ove
2013
Syllogisms in rudimentary linear logic, diagrammatically. Zbl 1305.03056
Pagnan, Ruggero
2013
Paraconsistency and plausible argumentation in generative grammar: A case study. Zbl 1305.03026
Kertész, András; Rákosi, Csilla
2013
The dynamification of modal dependence logic. Zbl 1305.03018
Galliani, Pietro
2013
Generalized quantifiers in dependence logic. Zbl 1305.03024
Engström, Fredrik
2012
A diagrammatic inference system with Euler circles. Zbl 1305.03014
Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo
2012
The fall of “Adams’ thesis”? Zbl 1305.03007
Hájek, Alan
2012
Bidirectional optimization from reasoning and learning in games. Zbl 1305.68196
Franke, Michael; Jäger, Gerhard
2012
A diagrammatic calculus of syllogisms. Zbl 1305.03015
Pagnan, Ruggero
2012
Errors in pragmatics. Zbl 1305.91207
Benz, Anton
2012
Probabilities as ratios of ranges in initial-state spaces. Zbl 1305.03012
Rosenthal, Jacob
2012
Geometric representations for minimalist grammars. Zbl 1305.91210
beim Graben, Peter; Gerth, Sabrina
2012
A system of relational syllogistic incorporating full Boolean reasoning. Zbl 1305.03025
Ivanov, Nikolay; Vakarelov, Dimiter
2012
Probability as a measure of information added. Zbl 1305.03011
Milne, Peter
2012
Symmetry in polyadic inductive logic. Zbl 1305.03022
Paris, J. B.; Vencovská, A.
2012
Questions and answers in an orthoalgebraic approach. Zbl 1305.03005
Blutner, Reinhard
2012
Sequential dynamic logic. Zbl 1305.03020
Bochman, Alexander; Gabbay, Dov M.
2012
Explaining quantity implicatures. Zbl 1305.91211
van Rooij, Robert; de Jager, Tikitu
2012
The displacement calculus. Zbl 1233.03035
Morrill, Glyn; Valentín, Oriol; Fadda, Mario
2011
The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. Zbl 1274.68151
Kepser, Stephan; Rogers, Jim
2011
Variation on a trivialist argument of Paul Kabay. Zbl 1231.03005
Humberstone, Lloyd
2011
Aural pattern recognition experiments and the subregular hierarchy. Zbl 1243.68260
Rogers, James; Pullum, Geoffrey K.
2011
Semantic vector models and functional models for pregroup grammars. Zbl 1305.03028
2011
Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2011
A structuralist theory of belief revision. Zbl 1226.03030
Andreas, Holger
2011
Erratum to: “On definability in dependence logic”. Zbl 1208.03034
Kontinen, Juha; Väänänen, Jouko
2011
On the mathematical foundations of Syntactic structures. Zbl 1244.03104
Pullum, Geoffrey K.
2011
The Hamiltonian syllogistic. Zbl 1305.03027
Pratt-Hartmann, Ian
2011
Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. Zbl 1234.03015
Robaldo, Livio
2011
A mathematical model of prediction-driven instability: how social structure can drive language change. Zbl 1243.91095
Mitchener, W. Garrett
2011
Syntactic structures and recursive devices: a legacy of imprecision. Zbl 1244.03105
Tomalin, Marcus
2011
Syllogistic logic with comparative adjectives. Zbl 1243.03043
Moss, Lawrence S.
2011
Concrete digital computation: what does it take for a physical system to compute? Zbl 1305.03006
Fresco, Nir
2011
Synchronizing diachronic uncertainty. Zbl 1233.03009
Isaac, Alistair; Hoshi, Tomohiro
2011
A dynamic logic of agency. I: STIT, capabilities and powers. Zbl 1189.03025
Herzig, Andreas; Lorini, Emiliano
2010
A dynamic logic of agency. II: Deterministic $${\mathcal{DLA}}$$, coalition logic, and game theory. Zbl 1211.03039
Lorini, Emiliano
2010
Probability logic of finitely additive beliefs. Zbl 1204.03027
Zhou, Chunlai
2010
Information tracking in games on graphs. Zbl 1203.91033
Berwanger, Dietmar; Kaiser, Łukasz
2010
On the membership problem for non-linear abstract categorial grammars. Zbl 1197.03033
Salvati, Sylvain
2010
Combinations of stit and actions. Zbl 1216.03039
Xu, Ming
2010
A theory of hierarchical consequence and conditionals. Zbl 1193.03037
Gabbay, Dov M.; Schlechta, Karl
2010
Exploring feature agreement in French with parallel pregroup computations. Zbl 1183.91158
Lambek, Joachim
2010
Merging DEL and ETL. Zbl 1216.03031
Hoshi, Tomohiro
2010
Automata for epistemic temporal logic with synchronous communication. Zbl 1234.03008
Mohalik, Swarup; Ramanujam, R.
2010
Dynamic non-commutative logic. Zbl 1193.03062
Kamide, Norihiro
2010
Second-order abstract categorial grammars as hyperedge replacement grammars. Zbl 1204.68113
Kanazawa, Makoto
2010
...and 239 more Documents
all top 5

### Cited by 1,475 Authors

 28 van Benthem, Johan F. A. K. 27 Coolen, Frank P. A. 24 Kamide, Norihiro 24 van Ditmarsch, Hans Pieter 22 Wansing, Heinrich Theodor 19 Dubois, Didier 18 Gabbay, Dov M. 18 Hansson, Sven Ove 15 Robles, Gemma 14 Lorini, Emiliano 13 Coolen-Maturi, Tahani 13 Prade, Henri M. 12 Galliani, Pietro 11 Kontinen, Juha 11 Marx, Maarten 11 Pacuit, Eric 11 van der Hoek, Wiebe 11 Verbrugge, Rineke 10 Ågotnes, Thomas 10 Demey, Lorenz 10 Sadrzadeh, Mehrnoosh 9 Areces, Carlos 9 Baltag, Alexandru 9 Blackburn, Patrick 9 Braüner, Torben 9 Fermé, Eduardo Leopoldo 9 Finger, Marcelo 9 Kooi, Barteld Pieter 9 Martins, Manuel António 9 Meyer, Thomas Andreas 9 Palmigiano, Alessandra 9 Rivieccio, Umberto 9 Velázquez-Quesada, Fernando Raymundo 8 Benevides, Mario R. F. 8 Coolen-Schrijner, Pauline 8 Ghosh, Sujata 8 Kuznetsov, Stepan L’vovich 8 Morrill, Glyn V. 8 Odintsov, Sergei P. 8 Reis, Maurício D. L. 8 Rott, Hans 8 Smets, Sonja J. L. 8 Szymanik, Jakub 8 Väänänen, Jouko Antero 8 Yang, Fan 7 Balbiani, Philippe 7 Bochman, Alexander 7 Booth, Richard F. 7 Buszkowski, Wojciech 7 Ciardelli, Ivano A. 7 D’Agostino, Marcello 7 Flaminio, Tommaso 7 Francez, Nissim 7 Herzig, Andreas 7 Hoshi, Tomohiro 7 Humberstone, Lloyd 7 Madeira, Alexandre 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 Wang, Yanjing 7 Wooldridge, Michael J. 6 Arieli, Ofer 6 Benferhat, Salem 6 de Rijke, Maarten 6 Falappa, Marcelo Alejandro 6 Parikh, Rohit 6 Sano, Katsuhiko 6 Schwarzentruber, François 6 Vakarelov, Dimiter 6 Valentín, Oriol 5 Alechina, Natasha 5 Andréka, Hajnal 5 Baader, Franz 5 Barbero, Fausto 5 Cialdea Mayer, Marta 5 Conradie, Willem 5 Demri, Stéphane P. 5 Égré, Paul 5 Figueira, Santiago 5 French, Tim 5 Godo, Lluís 5 Goranko, Valentin F. 5 Grädel, Erich 5 Horrocks, Ian 5 Kuusisto, Antti 5 Lapenta, Serafina 5 Leuştean, Ioana 5 Montagna, Franco 5 Moortgat, Michael 5 Moss, Lawrence S. 5 Mundhenk, Martin 5 Omori, Hitoshi 5 Otto, Martin 5 Pagin, Peter 5 Petrukhin, Yaroslav Igorevich ...and 1,375 more Authors
all top 5

### Cited in 123 Journals

 138 Journal of Logic, Language and Information 128 Studia Logica 97 Journal of Philosophical Logic 89 Synthese 72 Artificial Intelligence 70 Journal of Applied Non-Classical Logics 50 Theoretical Computer Science 36 Journal of Applied Logic 35 Annals of Pure and Applied Logic 33 The Review of Symbolic Logic 31 Notre Dame Journal of Formal Logic 26 Information and Computation 24 Erkenntnis 21 Fuzzy Sets and Systems 20 International Journal of Approximate Reasoning 20 Annals of Mathematics and Artificial Intelligence 18 The Journal of Symbolic Logic 18 Logic and Logical Philosophy 14 Logica Universalis 14 Journal of Statistical Theory and Practice 13 Journal of Automated Reasoning 12 Archive for Mathematical Logic 12 Journal of Logical and Algebraic Methods in Programming 9 Journal of Computer and System Sciences 9 The Bulletin of Symbolic Logic 9 Topoi 9 Soft Computing 8 Algebra Universalis 7 International Game Theory Review 6 Information Sciences 6 International Journal of Intelligent Systems 6 MSCS. Mathematical Structures in Computer Science 6 Mathematical Logic Quarterly (MLQ) 5 Journal of Statistical Planning and Inference 5 History and Philosophy of Logic 5 Theory of Computing Systems 5 ACM Transactions on Computational Logic 5 Logical Methods in Computer Science 4 Journal of Pure and Applied Algebra 4 Mathematical Social Sciences 4 Games and Economic Behavior 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 Communications in Statistics. Theory and Methods 3 Foundations of Science 3 Nôus 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 2 Foundations of Physics 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 Algebra and Logic 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 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 The Journal of Artificial Intelligence Research (JAIR) 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 1 Higher-Order and Symbolic Computation ...and 23 more Journals
all top 5

### Cited in 32 Fields

 1,182 Mathematical logic and foundations (03-XX) 583 Computer science (68-XX) 154 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 69 Order, lattices, ordered algebraic structures (06-XX) 34 Statistics (62-XX) 23 History and biography (01-XX) 17 Probability theory and stochastic processes (60-XX) 15 General and overarching topics; collections (00-XX) 14 Category theory; homological algebra (18-XX) 12 General algebraic systems (08-XX) 12 Biology and other natural sciences (92-XX) 9 Combinatorics (05-XX) 9 Quantum theory (81-XX) 9 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 Mathematics education (97-XX) 3 Relativity and gravitational theory (83-XX) 3 Operations research, mathematical programming (90-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Convex and discrete geometry (52-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Systems theory; control (93-XX)