# zbMATH — the first resource for mathematics

## Journal of Applied Non-Classical Logics

 Short Title: J. Appl. Non-Class. Log. Publisher: Taylor & Francis ISSN: 1166-3081; 1958-5780/e Online: http://www.tandfonline.com/loi/tncl20http://jancl.revuesonline.com/resnum.jsp Comments: Indexed cover-to-cover
 Documents Indexed: 497 Publications (since 1991) References Indexed: 463 Publications with 12,779 References.
all top 5

#### Latest Issues

 31, No. 1 (2021) 30, No. 4 (2020) 30, No. 3 (2020) 30, No. 2 (2020) 30, No. 1 (2020) 29, No. 4 (2019) 29, No. 3 (2019) 29, No. 2 (2019) 29, No. 1 (2019) 28, No. 4 (2018) 28, No. 2-3 (2018) 28, No. 1 (2018) 27, No. 3-4 (2017) 27, No. 1-2 (2017) 26, No. 4 (2016) 26, No. 3 (2016) 26, No. 2 (2016) 26, No. 1 (2016) 25, No. 4 (2015) 25, No. 3 (2015) 25, No. 2 (2015) 25, No. 1 (2015) 24, No. 4 (2014) 24, No. 3 (2014) 24, No. 1-2 (2014) 23, No. 4 (2013) 23, No. 3 (2013) 23, No. 1-2 (2013) 22, No. 4 (2012) 22, No. 3 (2012) 22, No. 1-2 (2012) 21, No. 3-4 (2011) 21, No. 2 (2011) 21, No. 1 (2011) 20, No. 4 (2010) 20, No. 3 (2010) 20, No. 1-2 (2010) 19, No. 4 (2009) 19, No. 3 (2009) 19, No. 2 (2009) 19, No. 1 (2009) 18, No. 4 (2008) 18, No. 2-3 (2008) 18, No. 1 (2008) 17, No. 4 (2007) 17, No. 3 (2007) 17, No. 2 (2007) 17, No. 1 (2007) 16, No. 3-4 (2006) 16, No. 1-2 (2006) 15, No. 4 (2005) 15, No. 3 (2005) 15, No. 2 (2005) 15, No. 1 (2005) 14, No. 4 (2004) 14, No. 3 (2004) 14, No. 1-2 (2004) 13, No. 3-4 (2003) 13, No. 2 (2003) 13, No. 1 (2003) 12, No. 3-4 (2002) 12, No. 2 (2002) 12, No. 1 (2002) 11, No. 3-4 (2001) 11, No. 1-2 (2001) 10, No. 3-4 (2000) 10, No. 2 (2000) 10, No. 1 (2000) 9, No. 4 (1999) 9, No. 2-3 (1999) 9, No. 1 (1999) 8, No. 4 (1998) 8, No. 3 (1998) 8, No. 1-2 (1998) 7, No. 4 (1997) 7, No. 3 (1997) 7, No. 1-2 (1997) 6, No. 4 (1996) 6, No. 3 (1996) 6, No. 2 (1996) 6, No. 1 (1996) 5, No. 2 (1995) 5, No. 1 (1995) 4, No. 2 (1994) 4, No. 1 (1994) 3, No. 2 (1993) 3, No. 1 (1993) 2, No. 2 (1992) 2, No. 1 (1992) 1, No. 2 (1991) 1, No. 1 (1991)
all top 5

#### Authors

 16 Balbiani, Philippe 9 Orłowska, Ewa S. 8 Herzig, Andreas 8 Robles, Gemma 7 Goranko, Valentin F. 6 Szałas, Andrzej 6 Vakarelov, Dimiter 6 van Benthem, Johan F. A. K. 6 van Ditmarsch, Hans Pieter 5 Cabalar, Pedro 5 Demolombe, Robert 5 Petrukhin, Yaroslav Igorevich 4 Besnard, Philippe 4 Demri, Stéphane P. 4 Dubois, Didier 4 Düntsch, Ivo 4 Gabbay, Dov M. 4 Koutras, Costas D. 4 Sayed Ahmed, Tarek 4 Schlechta, Karl 4 Tinchev, Tinko 3 Ågotnes, Thomas 3 Amgoud, Leila 3 Aucher, Guillaume 3 Bergstra, Jan A. 3 Broersen, Jan M. 3 Cerrito, Serenella 3 Chakraborty, Mihir Kumar 3 Coniglio, Marcelo Esteban 3 de Guzmán, Inmaculada Pérez 3 Diéguez, Martín 3 Fariñas del Cerro, Luis 3 Gencer, Çigdem 3 Golińska-Pilarek, Joanna 3 Guelev, Dimitar P. 3 Hartonas, Chrysafis 3 Kamide, Norihiro 3 Konikowska, Beata 3 Lorini, Emiliano 3 Montanari, Angelo 3 Muravitsky, Alexei Yu. 3 Nour, Karim 3 Prade, Henri M. 3 Pynko, Alexej P. 3 Rybakov, Vladimir Vladimirovich 3 Sagastume, Marta S. 3 van der Hoek, Wiebe 3 van der Torre, Leendert W. N. 3 Wagner, Gerd 3 Wansing, Heinrich Theodor 3 Wu, Jinzhao 2 Aguado, Felicidad 2 Agudelo-Agudelo, Juan C. 2 Alferes, José Júlio 2 Baratella, Stefano 2 Belikov, Alex 2 Belluce, Lawrence Peter 2 Benferhat, Salem 2 Bennett, Brandon 2 Bethke, Inge 2 Bloch, Isabelle 2 Burrieza, Alfredo 2 Carnielli, Walter Alexandre 2 Cialdea Mayer, Marta 2 Clarke, Michael R. B. 2 Conradie, Willem J. 2 Cubillo, Susana 2 Da Ré, Bruno 2 Dastani, Mehdi M. 2 Di Nola, Antonio 2 Dixon, Clare 2 Doherty, Patrick 2 D’Ottaviano, Itala M. Loffredo 2 Engelfriet, Joeri 2 Fan, Xiaocong 2 Fernández, Víctor L. 2 Formisano, Andrea 2 French, Tim 2 Froidevaux, Christine 2 Georgatos, Konstantinos 2 Godo, Lluís 2 Gonçalves, Ricardo 2 Grégoire, Éric 2 Heinemann, Bernhard 2 Hunter, Anthony 2 Jacquette, Dale 2 Jenei, Sándor 2 Kern-Isberner, Gabriele 2 Kohlhase, Michael 2 Konieczny, Sébastien 2 Liau, Churn-Jung 2 Lima-Marques, Mamede 2 Marquis, Pierre 2 Masini, Andrea 2 Meyer, John-Jules Charles 2 Nguyen, Linh Anh 2 Nicolosi Asmundo, Marianna 2 Nour, Abir 2 Odintsov, Sergei P. 2 Ohlbach, Hans Jürgen ...and 514 more Authors
all top 5

#### Fields

 431 Mathematical logic and foundations (03-XX) 219 Computer science (68-XX) 25 Order, lattices, ordered algebraic structures (06-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General and overarching topics; collections (00-XX) 8 General topology (54-XX) 6 History and biography (01-XX) 6 Information and communication theory, circuits (94-XX) 4 General algebraic systems (08-XX) 3 Geometry (51-XX) 3 Biology and other natural sciences (92-XX) 2 Commutative algebra (13-XX) 2 Category theory; homological algebra (18-XX) 2 Quantum theory (81-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Mechanics of particles and systems (70-XX)

#### Citations contained in zbMATH Open

306 Publications have been cited 1,598 times in 1,303 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
2007
Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019
Prakken, Henry; Sartor, Giovanni
1997
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
2007
Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512
Jenei, Sándor
2000
Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508
Jenei, Sándor
2001
Constructive negation, implication, and co-implication. Zbl 1181.03027
Wansing, Heinrich
2008
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
2004
Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017
Pynko, Alexej P.
1999
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
2010
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
2011
Semi-revision. Zbl 0869.03017
Hansson, Sven
1997
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System $$P$$. Zbl 1038.03023
Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe
2002
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
2006
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
2007
A proximity approach to some region-based theories of space. Zbl 1185.68682
Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon
2002
Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014
Kooi, Barteld
2007
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
1995
Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079
Gargov, George
1999
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
1999
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
2012
On Priest’s logic of paradox. Zbl 0841.03008
Pynko, Alexej P.
1995
Varieties of MV-algebras. Zbl 1031.06010
Panti, Giovanni
1999
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
2014
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043
Esakia, Leo
2006
On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505
2001
On the semantics of graded modalities. Zbl 0797.03013
van der Hoek, Wiebe
1992
Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019
Merz, Stephan
1992
Graded consequence: Further studies. Zbl 0839.03010
Chakraborty, M. K.
1995
Temporal equilibrium logic: a survey. Zbl 1400.68199
2013
A framework for iterated revision. Zbl 1033.03506
Konieczny, Sébastien; Pino Pérez, Ramón
2000
Graded consequence relations and fuzzy closure operator. Zbl 0872.03012
Gerla, Giangiacomo
1996
Some considerations on the logics $$P_ FD$$. A logic combining modality and probability. Zbl 0885.03022
van der Hoeck, Wiebe
1997
On consequence in approximate reasoning. Zbl 0794.03032
Castro, J. L.; Trillas, E.; Cubillo, S.
1994
Computing generalized specificity. Zbl 1185.68679
Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R.
2003
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
2002
A canonical model of the region connection calculus. Zbl 1185.03061
Renz, Jochen
2002
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Woolbridge, Michael; Dixon, Clare; Fisher, Michael
1998
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
2016
Brief study of $$\text{G}'_3$$ logic. Zbl 1180.03031
Osorio Galindo, Mauricio; Carballido Carranza, José Luis
2008
Distributed knowledge. Zbl 1186.03032
Roelofsen, Floris
2007
Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025
Bloch, Isabelle
2002
What groups do, can do, and know they can do: an analysis in normal modal logics. Zbl 1210.03015
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
2009
Model-checking $$\mathrm{CTL}^*$$ over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
2010
Local possibilistic logic. Zbl 0886.03018
Boldrin, Luca; Sossai, Claudio
1997
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
1995
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
2003
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
2003
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
2000
Note on a six-valued extension of three-valued logic. Zbl 0806.03019
Font, Josep M.; Moussavi, Massoud
1993
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
2013
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
2013
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
2015
A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015
Moszkowski, B.
2004
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
2005
$$\mu$$-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
2006
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
2006
Non-Archimedean fuzzy and probability logic. Zbl 1187.03024
Schumann, Andrew
2008
LTL model checking for security protocols. Zbl 1186.68276
Armando, Alessandro; Carbone, Roberto; Compagna, Luca
2009
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
1999
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
1998
On the semantics of combination operations. Zbl 1041.68095
Meyer, Thomas
2001
Regular bilattices. Zbl 1031.06005
Pynko, Alexej P.
2000
An empirical analysis of modal theorem provers. Zbl 1033.03501
1999
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2011
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
2011
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D.
2003
A first step towards modeling semistructured data in hybrid multimodal logic. Zbl 1185.68290
Bidoit, Nicole; Cerrito, Serenella; Thion, Virginie
2004
Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025
Marcos, João
2008
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
2009
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
2001
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
1999
Exploiting data dependencies in many-valued logics. Zbl 0836.03013
Hähnle, Reiner
1996
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
2012
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
2013
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
2014
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
2015
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
2018
Combining valuations with society semantics. Zbl 1185.03055
Fernández, Víctor L.; Coniglio, Marcelo E.
2003
Belief base merging as a game. Zbl 1185.68693
Konieczny, Sébastien
2004
On the strength and scope of DLS. Zbl 1186.03042
2006
Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024
Balbiani, Philippe; Goranko, Valentin
2002
On representability of neatly embeddable cylindric algebras. Zbl 1033.03520
Ferenczi, Miklós
2000
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
2010
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
2011
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092
Robles, Gemma; Méndez, José M.
2019
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
1997
NML3. A non-monotone logic with explicit default. Zbl 0790.03022
Doherty, Patrick; Lukaszewicz, Witold
1992
Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus. Zbl 0802.03028
Konikowska, Beata
1993
Analytic tableaux for default logics. Zbl 0838.03023
Risch, Vincent
1996
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
2013
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. Zbl 1398.03103
Robles, Gemma; Méndez, José M.
2014
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
2015
Uniform and non uniform strategies for tableaux calculi for modal logics. Zbl 0826.03006
Demri, Stéphane
1995
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA. Zbl 1181.03007
2008
Compatible operations on commutative residuated lattices. Zbl 1180.06015
Castiglioni, José Luis; Menni, Matías; Sagastume, Marta
2008
Belief change: from situation calculus to modal logic. Zbl 1185.03012
Demolombe, Robert
2003
Integrating inconsistent data in a probabilistic model. Zbl 1185.68699
Vomlel, Jiří
2004
Intuitionistic Socratic procedures. Zbl 1185.03008
Skura, Tomasz F.
2005
An efficient relational deductive system for propositional non-classical logics. Zbl 1186.03044
Formisano, Andrea; Nicolosi-Asmundo, Marianna
2006
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092
Robles, Gemma; Méndez, José M.
2019
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
2019
A family of metainferential logics. Zbl 1444.03084
Pailos, Federico Matias
2019
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. Zbl 1444.03054
González Huesca, Lourdes del Carmen; Miranda-Perea, Favio E.; Linares-Arévalo, P. Selene
2019
On Vidal’s trivalent explanations for defective conditional in mathematics. Zbl 1444.03091
Petrukhin, Yaroslav; Shangin, Vasily
2019
MVW-rigs and product MV-algebras. Zbl 1439.06008
2019
Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057
Hartonas, Chrysafis
2019
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix. II: Only one designated value. Zbl 07098175
Robles, Gemma; Salto, Francisco; Méndez, José M.
2019
Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089
Grigoriev, Oleg; Petrukhin, Yaroslav
2019
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
2018
Arguing about constitutive and regulative norms. Zbl 1436.03141
Pigozzi, Gabriella; van der Torre, Leendert
2018
Continuous propositional modal logic. Zbl 1436.03127
Baratella, Stefano
2018
Doxastic logic: a new approach. Zbl 1436.03115
Rönnedal, Daniel
2018
Fuzzy intensional semantics. Zbl 07001323
Běhounek, Libor; Majer, Ondrej
2018
Assertive graphs. Zbl 1436.03020
Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V.
2018
Truth without standard models: some conceptual problems reloaded. Zbl 1436.03016
Barrio, Eduardo; Da Ré, Bruno
2018
Abduction in argumentation frameworks. Zbl 1436.68328
Sakama, Chiaki
2018
Initial sets in abstract argumentation frameworks. Zbl 1436.68329
Xu, Yuming; Cayrol, Claudette
2018
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
2017
$$KD$$ is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2017
A general framework for dynamic epistemic logic: towards canonical correspondences. Zbl 1398.03073
Motoura, Shota
2017
A short biography of Luis Fariñas del Cerro. Zbl 1401.01029
Cabalar, Pedro; Diéguez, Martín; Herzig, Andreas; Pearce, David
2017
Temporal equilibrium logic with past operators. Zbl 1398.03077
2017
Foundations for a logic of arguments. Zbl 1398.03066
Amgoud, Leila; Besnard, Philippe; Hunter, Anthony
2017
Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236
Demolombe, Robert
2017
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Zbl 1398.03072
Herzig, Andreas
2017
A mereotopology based on sequent algebras. Zbl 1398.03147
Vakarelov, Dimiter
2017
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
2016
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
2016
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic. Zbl 1398.03109
Méndez, José M.; Robles, Gemma
2016
First-order frames for orthomodular quantum logic. Zbl 1398.03211
Hartonas, Chrysafis
2016
Propositional quantification in logics of contingency. Zbl 1398.03098
van Ditmarsch, Hans; Fan, Jie
2016
On polynomial semantics for propositional logics. Zbl 1398.03134
Agudelo-Agudelo, Juan C.; Agudelo-González, Carlos A.; García-Quintero, Oscar E.
2016
Axiomatisation of general concept inclusions from finite interpretations. Zbl 1400.68206
Borchmann, D.; Distel, F.; Kriegel, F.
2016
A comparison between monoidal and substructural logics. Zbl 1398.03101
Peterson, Clayton
2016
Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
2016
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
2015
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
2015
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
2015
Substructural epistemic logics. Zbl 1398.03074
Sedlár, Igor
2015
A problem for a logic of ‘because’. Zbl 1398.03045
Tsohatzidis, Savas L.
2015
Note on paraconsistency and reasoning about fractions. Zbl 1398.03137
Bergstra, Jan A.; Bethke, Inge
2015
Expressiveness and succinctness of a logic of robustness. Zbl 1400.68137
McCabe-Dansted, John C.; French, Tim; Pinchinat, Sophie; Reynolds, Mark
2015
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
2014
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
2014
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. Zbl 1398.03103
Robles, Gemma; Méndez, José M.
2014
Foreword: three-valued logics and their applications. Zbl 1398.00089
Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert
2014
Capturing the relationship between conditionals and conditional probability with a trivalent semantics. Zbl 1398.03105
Rothschild, Daniel
2014
The defective conditional in mathematics. Zbl 1398.03047
Vidal, Mathieu
2014
Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088
Calardo, Erica; Rotolo, Antonino
2014
Some remarks on certain trivalent accounts of presupposition projection. Zbl 1398.03149
George, Benjamin R.
2014
Remarks on the Gupta-Belnap fixed-point property for $$k$$-valued clones. Zbl 1398.03108
Martínez-Fernández, José
2014
Equivalence in logic-based argumentation. Zbl 1400.68202
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan
2014
Temporal equilibrium logic: a survey. Zbl 1400.68199
2013
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
2013
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
2013
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
2013
Some properties of system descriptions of $$\mathcal{AL}_d$$. Zbl 1400.68207
Gelfond, Michael; Inclezan, Daniela
2013
Multiple agent possibilistic logic. Zbl 1400.68217
2013
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
2013
Functional completion. Zbl 1400.68205
2013
On deductive bases for paraconsistent answer set semantics. Zbl 1400.68050
Mayatskiy, N. V.; Odintsov, S. P.
2013
On the relation between SPARQL1.1 and answer set programming. Zbl 1400.68065
Polleres, Axel; Wallner, Johannes Peter
2013
The infinite-valued semantics: overview, recent results and future directions. Zbl 1400.68051
Rondogiannis, Panos; Troumpoukis, Antonis
2013
Deciding the unguarded modal $$\mu$$-calculus. Zbl 1398.03092
Friedmann, Oliver; Lange, Martin
2013
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
2012
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
2012
Public announcements, public assignments and the complexity of their logic. Zbl 1398.03076
van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
2012
Search for syllogistic structure of semantic information. Zbl 1398.94070
Schroeder, Marcin J.
2012
A discussion on quantum non-individuality. Zbl 1400.81009
Krause, Décio; Arenhart, Jonas R. Becker
2012
Adaptively applying modus ponens in conditional logics of normality. Zbl 1398.03146
Straßer, Christian
2012
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
2012
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
2011
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2011
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
2011
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
2011
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
2011
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161
Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin
2011
Logical foundations and complexity of 4QL, a query language with unrestricted negation. Zbl 1242.68091
Małuszyński, Jan; Szałas, Andrzej
2011
DEL-sequents for progression. Zbl 1242.03034
Aucher, Guillaume
2011
On interactive knowledge with bounded communication. Zbl 1242.03035
Ben-Zvi, Ido; Moses, Yoram
2011
A logic for extensional protocols. Zbl 1242.68303
Rodenhäuser, Ben
2011
Converse-PDL with regular inclusion axioms: a framework for MAS logics. Zbl 1242.03030
Dunin-Kȩplicz, Barbara; Nguyen, Linh Anh; Szałas, Andrzej
2011
Axiomatization and completeness of lexicographic products of modal logics. Zbl 1242.03048
Balbiani, Philippe
2011
Dual tableau-based decision procedures for relational logics with restricted composition operator. Zbl 1242.03028
Cantone, Domenico; Nicolosi Asmundo, Marianna; Orłowska, Ewa
2011
Updating knowledge using subsets. Zbl 1242.03038
Georgatos, Konstantinos
2011
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
2010
Model-checking $$\mathrm{CTL}^*$$ over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
2010
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
2010
Logics for multi-subset spaces. Zbl 1242.03039
Heinemann, Bernhard
2010
Some modal aspects of XPath. Zbl 1242.68010
ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz
2010
An efficient approach to nominal equalities in hybrid logic tableaux. Zbl 1242.03029
Cerrito, Serenella; Mayer, Marta Cialdea
2010
Verifying one hundred prisoners and a lightbulb. Zbl 1242.03042
van Ditmarsch, Hans; van Eijck, Jan; Wu, William
2010
Label-free natural deduction systems for intuitionistic and classical modal logics. Zbl 1242.03033
Galmiche, Didier; Salhi, Yakoub
2010
Judgment and consequence relations. Zbl 1242.03040
Kracht, Marcus
2010
Metric temporal reasoning with less than two clocks. Zbl 1242.03047
Reynolds, Mark
2010
An alert correlation approach based on security operator’s knowledge and preferences. Zbl 1242.68321
Benferhat, Salem; Sedki, Karima
2010
Violation games: a new foundation for deontic logic. Zbl 1242.03052
van der Torre, Leendert
2010
...and 206 more Documents
all top 5

#### Cited by 1,392 Authors

 31 van Ditmarsch, Hans Pieter 25 van Benthem, Johan F. A. K. 20 Balbiani, Philippe 19 Wansing, Heinrich Theodor 18 Gabbay, Dov M. 15 Montanari, Angelo 14 Pynko, Alexej P. 14 Simari, Guillermo Ricardo 13 Bezhanishvili, Guram 13 Dubois, Didier 13 Vakarelov, Dimiter 12 Ågotnes, Thomas 12 Godo, Lluís 12 Kamide, Norihiro 11 Demri, Stéphane P. 11 Herzig, Andreas 11 Lorini, Emiliano 11 Ognjanović, Zoran 11 Ponse, Alban 11 Schaub, Torsten H. 11 Sciavicco, Guido 10 Amgoud, Leila 10 Baltag, Alexandru 10 Bergstra, Jan A. 10 Gilio, Angelo 10 Goranko, Valentin F. 10 Pacuit, Eric 10 Smets, Sonja J. L. 10 Velázquez-Quesada, Fernando Raymundo 9 Avron, Arnon 9 Dixon, Clare 9 Jenei, Sándor 9 Odintsov, Sergei P. 9 Prade, Henri M. 9 Robles, Gemma 9 Woltran, Stefan 8 Arieli, Ofer 8 Bolander, Thomas 8 Falappa, Marcelo Alejandro 8 Fariñas del Cerro, Luis 8 Hunter, Anthony 8 Jamroga, Wojciech 8 Konieczny, Sébastien 8 Rivieccio, Umberto 8 Schwarzentruber, François 8 van der Hoek, Wiebe 8 Varzinczak, Ivan Jóse 8 Wolter, Frank 8 Zakharyaschev, Michael Viktorovich 7 Bloch, Isabelle 7 Bresolin, Davide 7 Cabalar, Pedro 7 Hansson, Sven Ove 7 Mesiar, Radko 7 Rašković, Miodrag D. 7 Sala, Pietro 7 Sanfilippo, Giuseppe 7 Shramko, Yaroslav V. 7 Vetterlein, Thomas 6 Bezhanishvili, Nick 6 Caminada, Martin W. A. 6 Chakraborty, Mihir Kumar 6 Chesñevar, Carlos Iván 6 De Baets, Bernard 6 French, Tim 6 Gabelaia, David 6 García, Alejandro Javier 6 Guelev, Dimitar P. 6 Kern-Isberner, Gabriele 6 Liu, Fenrong 6 Lutz, Carsten 6 Naumov, Pavel G. 6 Petrukhin, Yaroslav Igorevich 6 Sayed Ahmed, Tarek 6 Singh, Prem Kumar 6 Szałas, Andrzej 6 Wang, Yanjing 5 Aucher, Guillaume 5 Baroni, Pietro 5 Benferhat, Salem 5 Bonzio, Stefano 5 Bozzelli, Laura 5 Britz, Katarina 5 Conradie, Willem J. 5 Di Nola, Antonio 5 Diéguez, Martín 5 Düntsch, Ivo 5 Gebser, Martin 5 Golińska-Pilarek, Joanna 5 Hartonas, Chrysafis 5 Konikowska, Beata 5 Kurucz, Agi 5 Lukasiewicz, Thomas 5 Marquis, Pierre 5 Meyer, Thomas Andreas 5 Movsisyan, Yuri Movses 5 Omori, Hitoshi 5 Orłowska, Ewa S. 5 Perović, Aleksandar 5 Pino Pérez, Ramón ...and 1,292 more Authors
all top 5

#### Cited in 121 Journals

 106 Studia Logica 105 Journal of Applied Non-Classical Logics 97 Artificial Intelligence 69 Fuzzy Sets and Systems 65 Journal of Philosophical Logic 64 International Journal of Approximate Reasoning 47 Synthese 47 Annals of Mathematics and Artificial Intelligence 40 Journal of Logic, Language and Information 38 Theoretical Computer Science 37 Journal of Applied Logic 29 Theory and Practice of Logic Programming 28 Annals of Pure and Applied Logic 25 Logica Universalis 20 The Review of Symbolic Logic 16 The Journal of Symbolic Logic 15 Information and Computation 15 Journal of Automated Reasoning 14 Journal of Logical and Algebraic Methods in Programming 12 Information Sciences 12 Logic and Logical Philosophy 11 Algebra Universalis 10 International Journal of Intelligent Systems 9 The Journal of Logic and Algebraic Programming 8 Archive for Mathematical Logic 8 Mathematical Logic Quarterly (MLQ) 8 ACM Transactions on Computational Logic 7 Soft Computing 6 Notre Dame Journal of Formal Logic 6 Theory of Computing Systems 5 Journal of Symbolic Computation 5 Topoi 5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Acta Informatica 4 Lithuanian Mathematical Journal 4 Kybernetika 4 Bulletin of the Section of Logic 4 Topology and its Applications 4 Formal Aspects of Computing 4 Logical Methods in Computer Science 4 Frontiers of Computer Science 3 Communications in Algebra 3 International Journal of General Systems 3 Information Processing Letters 3 Journal of Algebra 3 Journal of Pure and Applied Algebra 3 MSCS. Mathematical Structures in Computer Science 3 The Bulletin of Symbolic Logic 3 Games 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 Chaos, Solitons and Fractals 2 Algebra and Logic 2 Journal of Computer and System Sciences 2 Mathematica Slovaca 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Algebra and Computation 2 International Journal of Foundations of Computer Science 2 Formal Methods in System Design 2 The Journal of Artificial Intelligence Research (JAIR) 2 Erkenntnis 2 Fundamenta Informaticae 2 Armenian Journal of Mathematics 2 $$p$$-Adic Numbers, Ultrametric Analysis, and Applications 2 European Journal of Mathematics 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Metrika 1 Applied Mathematics and Computation 1 Computing 1 Demonstratio Mathematica 1 Journal of Mathematical Economics 1 Journal of Statistical Planning and Inference 1 Kybernetes 1 Linguistics and Philosophy 1 Mathematics and Computers in Simulation 1 Quaestiones Mathematicae 1 Semigroup Forum 1 SIAM Journal on Computing 1 Science of Computer Programming 1 History and Philosophy of Logic 1 Acta Mathematica Hungarica 1 Acta Applicandae Mathematicae 1 Bulletin of the Iranian Mathematical Society 1 Social Choice and Welfare 1 Order 1 New Generation Computing 1 Mathematical and Computer Modelling 1 SIAM Journal on Discrete Mathematics 1 AI Communications 1 Random Structures & Algorithms 1 Designs, Codes and Cryptography 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 European Journal of Operational Research 1 International Journal of Computer Mathematics 1 Cybernetics and Systems Analysis 1 Applied Categorical Structures 1 Journal of Mathematical Sciences (New York) ...and 21 more Journals
all top 5

#### Cited in 33 Fields

 943 Mathematical logic and foundations (03-XX) 631 Computer science (68-XX) 106 Order, lattices, ordered algebraic structures (06-XX) 45 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 28 General topology (54-XX) 27 General algebraic systems (08-XX) 20 Category theory; homological algebra (18-XX) 12 History and biography (01-XX) 12 Information and communication theory, circuits (94-XX) 9 Probability theory and stochastic processes (60-XX) 8 General and overarching topics; collections (00-XX) 8 Biology and other natural sciences (92-XX) 7 Group theory and generalizations (20-XX) 7 Statistics (62-XX) 6 Geometry (51-XX) 6 Operations research, mathematical programming (90-XX) 5 Combinatorics (05-XX) 5 Quantum theory (81-XX) 5 Systems theory; control (93-XX) 4 Measure and integration (28-XX) 3 Topological groups, Lie groups (22-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Number theory (11-XX) 2 Real functions (26-XX) 2 Difference and functional equations (39-XX) 2 Convex and discrete geometry (52-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Special functions (33-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX)