Found 34 Documents (Results 1–34)
Paraconsistent orbits of logics. (English) Zbl 1490.03016
Reviewer: Gemma Robles (León)
Reduction techniques for proving decidability in logics and their meet-combination. (English) Zbl 1535.03057
Weakening relation algebras and \(\mathrm{FL}^2\)-algebras. (English) Zbl 07578338
Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 117-133 (2020).
MSC:
68Qxx
Frames for fusions of modal logics. (English) Zbl 1436.03134
MSC:
03B45
Distributed modal logic. (English) Zbl 1439.03043
Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 331-362 (2016).
Preservation of admissible rules when combining logics. (English) Zbl 1397.03049
Reviewer: Branislav Boričić (Beograd)
MSC:
03B62
Deciding theoremhood in fibered logics without shared connectives. (English) Zbl 1376.03017
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 387-406 (2015).
Rough sets: from rudiments to challenges. (English) Zbl 1327.68008
Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 1. Foreword by Roman Słowiński. Berlin: Springer (ISBN 978-3-642-30343-2/hbk; 978-3-642-30344-9/ebook). Intelligent Systems Reference Library 42, 75-173 (2013).
A logic of argumentation for specification and verification of abstract argumentation frameworks. (English) Zbl 1272.68383
Completeness theorems for reactive modal logics. (English) Zbl 1296.03017
Reviewer: Valentin F. Goranko (Johannesburg)
Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. (English) Zbl 1280.03007
A conditional constructive logic for access control and its sequent calculus. (English) Zbl 1333.03104
Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 164-179 (2011).
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. (English) Zbl 1255.68153
Modal and temporal argumentation networks. (English) Zbl 1288.68205
Manna, Zohar (ed.) et al., Time for verification. Essays in memory of Amir Pnueli. Berlin: Springer (ISBN 978-3-642-13753-2/pbk). Lecture Notes in Computer Science 6200, 1-25 (2010).
Fibred security language. (English) Zbl 1181.03033
Combining modes of reasoning: An application of abstract argumentation. (English) Zbl 1178.68569
Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 349-361 (2008).
MSC:
68T27
Axiomatisation and decidability of multi-dimensional Duration Calculus. (English) Zbl 1109.68069
MSC:
68Q60
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. (English) Zbl 1098.03048
2003–04 Winter Meeting of the Association for Symbolic Logic, Phoenix Civic Plaza, Phoenix, Arizona, January 9–10, 2004. (English) Zbl 1059.03508
Modulated fibring and the collapsing problem. (English) Zbl 1043.03010
Reviewer: Branislav Boričić (Beograd)
MSC:
03B22
On modal logics between \(\mathbf K\times\mathbf K\times\mathbf K\) and \(\mathbf S5\times\mathbf S5\times\mathbf S5\). (English) Zbl 1002.03019
Quantum logic, Hilbert space, revision theory. (English) Zbl 0984.68145
MSC:
68T27
Fibring: Completeness preservation. (English) Zbl 0981.03011
Reviewer: Branislav Boričić (Beograd)
On axiomatising products of Kripke frames. (English) Zbl 0963.03027
Reviewer: Osamu Sonobe (Follonica)
Filter Results by …
Document Type
- Journal Articles (27)
- Collection Articles (7)
all
top 5
Author
- Gabbay, Dov M. (7)
- Sernadas, Cristina S. (5)
- Rasga, João (4)
- Caleiro, Carlos (3)
- Marcelino, Sérgio (3)
- Sernadas, Amilcar C. (3)
- Boella, Guido (2)
- Carnielli, Walter Alexandre (2)
- Genovese, Valerio (2)
- Kutz, Oliver (2)
- Skowron, Andrzej (2)
- van der Torre, Leendert W. N. (2)
- Adi, Kamel (1)
- Aiguier, Marc (1)
- Allwein, Gerard (1)
- Baader, Franz (1)
- Baltazar, Pedro (1)
- Barringer, Howard (1)
- Chao, Fei (1)
- Costa-Leite, Alexandre Fernandes Batista (1)
- de Souza, Edelcio G. (1)
- Diaconescu, Răzvan (1)
- Dias, Diogo H. B. (1)
- Engesser, Kurt (1)
- Galatos, Nikolaos (1)
- Ghilardi, Silvio (1)
- Giordano, Laura (1)
- Gliozzi, Valentina (1)
- Harrison, William L. (1)
- Hirsch, Robin (1)
- Hodkinson, Ian Martin (1)
- Huang, Zhongqiang (1)
- Hulstijn, Joris (1)
- Jiang, Min (1)
- Jipsen, Peter (1)
- Kost, Sławomir (1)
- Kurucz, Ágnes (1)
- Lücke, Dominik (1)
- Lutz, Carsten (1)
- Ma, Ji (1)
- Mossakowski, Till (1)
- Nguyen, Hung Son (1)
- Orgun, Mehmet Ali (1)
- Pozzato, Gian Luca (1)
- Prakken, Henry (1)
- Tinelli, Cesare (1)
- Viganò, Luca (1)
- Villata, Serena (1)
- Wasilewski, Piotr (1)
- Wolter, Frank (1)
- Wood, Carol (1)
- Wu, Yin (1)
- Zakharyaschev, Michael Viktorovich (1)
- Zanardo, Alberto (1)
- Zhou, Changle (1)
all
top 5
Serial
- J. Symb. Log. (5)
- Log. Univers. (5)
- Ann. Math. Artif. Intell. (4)
- Artif. Intell. (2)
- Stud. Log. (2)
- Inf. Comput. (2)
- Bull. Symb. Log. (2)
- Inf. Process. Lett. (1)
- Theor. Comput. Sci. (1)
- J. Appl. Non-Class. Log. (1)
- J. Appl. Log. (1)
- Rev. Symb. Log. (1)
