Found 744 Documents (Results 1–100)
KD45 with propositional quantifiers. (English) Zbl 07868848
MSC:
03B45
An introduction to classical and modal logics. The outlines of knowledge (to appear). (English) Zbl 07858645
Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-00-945067-6/pbk; 978-1-00-945069-0/hbk). (2024).
Axiomatizability of propositionally quantified modal logics on relational frames. (English) Zbl 07854638
Modal logics with non-rigid propositional designators. (English) Zbl 07871911
Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 47-62 (2023).
MSC:
68T27
Dynamic modal logic with counting: when reduction axioms work and fail. (English) Zbl 1541.03080
Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 11-24 (2023).
Geometric modal logic. (English) Zbl 1529.03150
Logic: reference book for computer scientists. 2nd revised and enlarged edition, previously published under the title Logics for computer and data sciences, and artificial intelligence. (English) Zbl 1529.68008
Intelligent Systems Reference Library 245. Cham: Springer (ISBN 978-3-031-42033-7/hbk; 978-3-031-42036-8/pbk; 978-3-031-42034-4/ebook). xxxiii, 461 p. (2023).
The lattice NExtS41 as composed of replicas of NExtInt, and beyond. (English) Zbl 1543.03057
Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 177-207 (2022).
Modal logics that are both monotone and antitone: Makinson’s extension results and affinities between logics. (English) Zbl 07634481
Why does propositional quantification make modal and temporal logics on trees robustly hard? (English) Zbl 07577569
A modal view on resource-bounded propositional logics. (English) Zbl 07562024
Stud. Log. 110, No. 4, 1035-1080 (2022); correction ibid. 110, No. 6, 1537-1538 (2022).
MSC:
03-XX
Propositional dynamic logic with quantification over regular computation sequences. (English) Zbl 1541.03110
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 301-315 (2022).
About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438
MSC:
03B45
Logics for computer and data sciences, and artificial intelligence. (English) Zbl 1498.68003
Studies in Computational Intelligence 992. Cham: Springer (ISBN 978-3-030-91679-4/hbk; 978-3-030-91680-0/ebook). xviii, 362 p. (2022).
Reviewer: Éric Martin (Sydney)
Directional Deduction. arXiv:2208.03925
Preprint, arXiv:2208.03925 [math.LO] (2022).
Logic talk. (English) Zbl 1528.03040
A sound interpretation of Leśniewski’s epsilon in modal logic KTB. (English) Zbl 1529.03153
MSC:
03B45
Branching-time logics and fairness, revisited. (English) Zbl 1498.68163
Reviewer: Giacomo Lenzi (Fisciano)
Alternative semantics for normative reasoning with an application to regret and responsibility. (English) Zbl 1496.03082
MSC:
03B45
Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655
Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021).
MSC:
68N30
Propositional logics of truth by logical form. (English) Zbl 1528.03087
Sagi, Gil (ed.) et al., The semantic conception of logic. Essays on consequence, invariance, and meaning. Cambridge: Cambridge University Press. 160-185 (2021).
On descriptional propositions in Ibn Sīnā: elements for a logical analysis. (English) Zbl 1473.03007
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021).
Reviewer: Jim Mackenzie (Sydney)
Finitely-valued propositional dynamic logic. (English) Zbl 1535.03127
Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 561-579 (2020).
Modal logic with non-deterministic semantics. I: Propositional case. (English) Zbl 1494.03049
MSC:
03B45
The moral law and the good in temporal modal logic with propositional quantifiers. (English) Zbl 1477.03016
Measuring inconsistency in generalized propositional logic. (English) Zbl 1476.03034
Reviewer: Gemma Robles (León)
Uniform Lyndon interpolation property in propositional modal logics. (English) Zbl 1462.03013
Reviewer: Osamu Sonobe (Follonica)
The G4i analogue of a G3i calculus. arXiv:2011.11847
Preprint, arXiv:2011.11847 [math.LO] (2020).
Propositional quantifiers in labelled natural deduction for normal modal logic. (English) Zbl 1494.03052
Leibniz’s laws of consistency and the philosophical foundations of connexive logic. (English) Zbl 1458.03009
Substructural propositional dynamic logics. (English) Zbl 1530.03092
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 594-609 (2019).
MSC:
03B47
Computational complexity of core fragments of modal logics \(\mathrm{t}\), \(\mathrm{K4}\), and \(\mathrm{S4}\). (English) Zbl 1525.03074
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 744-759 (2019).
Model checking and validity in propositional and modal inclusion logics. (English) Zbl 1475.68187
Reviewer: Martin Lange (Kassel)
Uniform interpolation and the existence of sequent calculi. (English) Zbl 1475.03078
Reviewer: Emil Jeřábek (Praha)
Incompactness of the \(\forall_1\) fragment of basic second order propositional relevant logic. (English) Zbl 1456.03039
MSC:
03B47
Propositional epistemic logics with quantification over agents of knowledge (an alternative approach). (English) Zbl 1531.03023
A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. (English) Zbl 1529.03152
Complexity and expressivity of propositional dynamic logics with finitely many variables. (English) Zbl 1492.03013
Complexity of finite-variable fragments of propositional modal logics of symmetric frames. (English) Zbl 1494.03053
One modal logic to rule them all? (English) Zbl 1418.03087
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 367-386 (2018).
MSC:
03B45
On the logics with propositional quantifiers extending S5\(\Pi\). (English) Zbl 1418.03079
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 219-235 (2018).
Second-order propositional modal logic: expressiveness and completeness results. (English) Zbl 1436.03128
The broadest necessity. (English) Zbl 1457.03038
J. Philos. Log. 47, No. 5, 733-783 (2018); correction ibid. 47, No. 5, 785 (2018).
Philosophical and mathematical logic. (English) Zbl 1446.03001
Springer Undergraduate Texts in Philosophy. Cham: Springer (ISBN 978-3-030-03253-1/hbk; 978-3-030-03255-5/ebook). xx, 539 p. (2018).
Reviewer: Branislav Boričić (Beograd)
Completeness of second-order propositional S4 and H in topological semantics. (English) Zbl 1475.03079
Reviewer: Grigory K. Olkhovikov (Bochum)
Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\). (English) Zbl 1448.68404
Propositional epistemic logics with quantification over agents of knowledge. (English) Zbl 1437.03074
MSC:
03B42
Validity and entailment in modal and propositional dependence logics. (English) Zbl 1434.03077
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 28, 17 p. (2017).
Epistemic extensions of combined classical and intuitionistic propositional logic. (English) Zbl 1405.03041
Popper’s notion of duality and his theory of negations. (English) Zbl 1406.03004
Reviewer: Leon Harkleroad (Bowdoinham)
C. S. Peirce. (English) Zbl 1387.03004
Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 165-181 (2017).
Reviewer: Antonín Slavík (Praha)
Tableau approach for fuzzy propositional modal logic. (Chinese. English summary) Zbl 1389.03004
Logics for propositional contingentism. (English) Zbl 1373.03021
Reviewer: Damas Gruska (Bratislava)
MSC:
03B45
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. (English) Zbl 1436.03140
Tales from an old manuscript. (English) Zbl 1418.03031
van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 5-14 (2016).
Propositional dynamic logic with Belnapian truth values. (English) Zbl 1400.03058
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 503-519 (2016).
Post completeness in congruential modal logics. (English) Zbl 1400.03041
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 288-301 (2016).
MSC:
03B45
Axiomatizations for propositional and modal team logic. (English) Zbl 1370.03047
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 33, 18 p. (2016).
Propositional dynamic logic for Petri nets with iteration. (English) Zbl 1401.68219
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 441-456 (2016).
A unified semantics for a family of modal logics with propositional constants. (English) Zbl 1336.03025
MSC:
03B45
Propositional logics complexity and the sub-formula property. (English) Zbl 1486.03015
Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1-16 (2015).
Cross-world identity, temporal quantifiers and the question of tensed contents. (English) Zbl 1437.03033
Torza, Alessandro (ed.), Quantifiers, quantifiers, and quantifiers: themes in logic, metaphysics, and language. Cham: Springer. Synth. Libr. 373, 409-461 (2015).
The minimal system of justification logic with names. (English) Zbl 1429.03123
Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 179-188 (2015).
Are the validities of modal logic analytic? Or analyticity again, through information, proof, modal logic and Hintikka. (English. French summary) Zbl 1372.03012
Axiomatizing propositional dependence logics. (English) Zbl 1434.03078
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 41, 292-307 (2015).
Arrow-hexagons. (English) Zbl 1371.03012
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, 417-487 (2015).
On extensions of basic propositional logic. (English) Zbl 1432.03017
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 170-200 (2015).
Sound and complete axiomatic system with a modality \(\square \varphi=\square_1 \varphi \vee \square_2\varphi\). (Chinese. English summary) Zbl 1349.03010
MSC:
03B45
Algebraic approach to tense operators. (English) Zbl 1350.03002
Research and Exposition in Mathematics 35. Lemgo: Heldermann Verlag (ISBN 978-3-88538-235-5/pbk). 204 p. (2015).
Reviewer: Jafar Pashazadeh (Bonab)
Dynamic order algebras as an axiomatization of modal and tense logics. (English) Zbl 1329.81092
MSC:
81P10
Logic step by step. (La logique pas à pas.) (French) Zbl 1333.03001
Lausanne: Presses Polytechniques et Universitaires Romandes (PPUR) (ISBN 978-2-88915-126-4/pbk). 570 p. (2015).
Reviewer: M. Yasuhara (Princeton)
Ockham’s calculus of strict implication. (English) Zbl 1323.01011
Reviewer: Victor V. Pambuccian (Phoenix)
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. (English) Zbl 1371.03026
Reviewer: Max A. Freund (San José)
MSC:
03B45
Second-order propositional modal logic and monadic alternation hierarchies. (English) Zbl 1343.03015
Filtration safe operations on frames. (English) Zbl 1385.03020
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 333-352 (2014).
PDL inside the \(\mu\)-calculus: a syntactic and an automata-theoretic characterization. (English) Zbl 1385.03035
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 74-93 (2014).
A parametrized propositional dynamic logic with application to service synthesis. (English) Zbl 1385.03034
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 34-53 (2014).
Definability and computability for PRSPDL. (English) Zbl 1385.03033
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 16-33 (2014).
Filter Results by …
Document Type
- Journal Articles (493)
- Collection Articles (170)
- Books (79)
- arXiv Preprints (2)
all
top 5
Author
- Došen, Kosta (12)
- Rybakov, Vladimir Vladimirovich (10)
- Zakharyaschev, Michael Viktorovich (10)
- Muravitsky, Alexei Yu. (9)
- Balbiani, Philippe (8)
- Cresswell, Maxwell John (8)
- Fariñas del Cerro, Luis (8)
- Orłowska, Ewa S. (8)
- Halpern, Joseph Yehuda (7)
- Kozen, Dexter C. (7)
- Maksimova, Larisa L’vovna (7)
- Schmidt, Renate A. (7)
- Demri, Stéphane P. (6)
- Dywan, Zdzisław (6)
- Goldblatt, Robert Ian (6)
- Goré, Rajeev Prabhakar (6)
- van Benthem, Johan F. A. K. (6)
- Wolter, Frank (6)
- Cao, Cungen (5)
- Chagrov, Aleksandr Vasil’evich (5)
- Giunchiglia, Fausto (5)
- Mints, Grigoriĭ Efroimovich (5)
- Parikh, Rohit (5)
- Sedlár, Igor (5)
- Sui, Yuefei (5)
- Tinchev, Tinko (5)
- Benevides, Mario R. F. (4)
- Blackburn, Patrick (4)
- Boolos, George S. (4)
- de Rijke, Maarten (4)
- Fitting, Melvin Chris (4)
- Ghilardi, Silvio (4)
- Harel, David (4)
- Herzig, Andreas (4)
- Lewitzka, Steffen (4)
- Montagna, Franco (4)
- Pliuškevičius, Regimantas (4)
- Poggiolesi, Francesca (4)
- Sebastiani, Roberto (4)
- Venema, Yde (4)
- Zhang, Zaiyue (4)
- Beklemishev, Lev D. (3)
- Chlebus, Bogdan Stanislaw (3)
- Cialdea Mayer, Marta (3)
- Ding, Yifeng (3)
- Epstein, Richard L. (3)
- Fritz, Peter (3)
- Gabbay, Dov M. (3)
- Goranko, Valentin F. (3)
- Hájek, Petr (3)
- Heinemann, Bernhard (3)
- Hemaspaandra, Edith (3)
- Horrocks, Ian (3)
- Iemhoff, Rosalie (3)
- Indrzejczak, Andrzej (3)
- Inoué, Takao (3)
- Kremer, Philip (3)
- Kuhn, Steven T. (3)
- Kuusisto, Antti (3)
- Lenzen, Wolfgang (3)
- Malinowski, Grzegorz (3)
- Mardaev, Sergeĭ Il’ich (3)
- Mendler, Michael (3)
- Pascucci, Matteo (3)
- Patel-Schneider, Peter F. (3)
- Pizzi, Claudio Ercole Antonio (3)
- Pnueli, Amir (3)
- Priest, Graham (3)
- Raţă, Mefodij F. (3)
- Rybakov, Mikhail Nikolaevich (3)
- Sakalauskaitė, Jūratė (3)
- Sambin, Giovanni (3)
- Segerberg, Krister (3)
- Shilov, Nikolay V. (3)
- Shkatov, Dmitry (3)
- Shtakser, Gennady (3)
- Thomason, Steven K. (3)
- Tishkovsky, Dmitry (3)
- Valiev, Mars K. (3)
- Vardi, Moshe Ya’akov (3)
- Walukiewicz, Igor (3)
- Wansing, Heinrich Theodor (3)
- Yashin, Aleksandr D. (3)
- Artemov, Sergei (2)
- Artëv, S. N. (2)
- Auffray, Yves (2)
- Basin, David A. (2)
- Beckert, Bernhard (2)
- Bellissima, Fabio (2)
- Bjorndahl, Adam (2)
- Blass, Andreas Raphael (2)
- Božić, Milan (2)
- Caferra, Ricardo (2)
- Carnielli, Walter Alexandre (2)
- Celani, Sergio Arturo (2)
- Chajda, Ivan (2)
- Chellas, Brian F. (2)
- Danecki, Ryszard (2)
- Davoren, Jennifer M. (2)
- De Giacomo, Giuseppe (2)
- and 534 more Authors
all
top 5
Serial
- Stud. Log. (49)
- Notre Dame J. Formal Logic (39)
- J. Philos. Log. (25)
- Log. Anal., Nouv. Sér. (23)
- J. Symb. Log. (20)
- J. Log. Comput. (19)
- Z. Math. Logik Grundlagen Math. (13)
- Bull. Sect. Logic, Pol. Acad. Sci. (13)
- Theor. Comput. Sci. (12)
- Ann. Pure Appl. Logic (12)
- J. Appl. Non-Class. Log. (12)
- Log. J. IGPL (12)
- Algebra Logic (10)
- J. Logic Lang. Inf. (10)
- Inf. Comput. (9)
- Log. Log. Philos. (9)
- J. Comput. Syst. Sci. (8)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (8)
- Log. Univers. (8)
- Rep. Math. Logic (7)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (7)
- Inf. Process. Lett. (6)
- J. Autom. Reasoning (6)
- Arch. Math. Logic (6)
- Mat. Logika Primen. (6)
- Synthese (5)
- Rev. Symb. Log. (5)
- Math. Notes (4)
- Publ. Inst. Math., Nouv. Sér. (4)
- Fundam. Inform. (4)
- Algebra Logika (3)
- Comment. Math. Univ. St. Pauli (3)
- Theoria (3)
- Math. USSR, Sb. (3)
- Acta Univ. Wratislav. (3)
- J. Log. Algebr. Program. (3)
- J. Softw. (3)
- J. Appl. Log. (3)
- Australas. J. Log. (3)
- Log. Methods Comput. Sci. (3)
- Artif. Intell. (2)
- Mat. Zametki (2)
- Diss. Math. (2)
- Inf. Control (2)
- Math. Japon. (2)
- Hist. Philos. Log. (2)
- J. Log. Program. (2)
- Math. Inf. Sci. Hum. (2)
- Math. Log. Q. (2)
- Bull. Symb. Log. (2)
- Ann. Math. Artif. Intell. (2)
- Boll. Unione Mat. Ital., V. Ser., A (2)
- Oxf. Logic Guides (2)
- Ser. Comput. Sci. (2)
- Stud. Linguist. Philos. (2)
- Camb. Introd. Philos. (2)
- Acta Inf. (1)
- Int. J. Theor. Phys. (1)
- Izv. Vyssh. Uchebn. Zaved., Mat. (1)
- Lith. Math. J. (1)
- Mosc. Univ. Math. Bull. (1)
- Rev. Roum. Math. Pures Appl. (1)
- Acta Cybern. (1)
- Acta Philos. Fenn. (1)
- Algebra Univers. (1)
- Ann. Japan Assoc. Philos. Sci. (1)
- Commentat. Math. Univ. Carol. (1)
- Comput. Linguist. Comput. Lang. (1)
- J. Nat. Sci. Math. (1)
- Kibern. Sb., Nov. Ser. (1)
- Kybernetika (1)
- Mat. Issled. (1)
- Mat. Sb., Nov. Ser. (1)
- Matematiche (1)
- Math. USSR, Izv. (1)
- Program. Comput. Softw. (1)
- Publ. Res. Inst. Math. Sci. (1)
- Quaest. Math. (1)
- RAIRO, Inf. Théor. (1)
- Rev. Colomb. Mat. (1)
- Sib. Math. J. (1)
- Soobshch. Akad. Nauk Gruz. SSR (1)
- Sov. Math., Dokl. (1)
- Stud. Cercet. Mat. (1)
- Theory Decis. (1)
- Zesz. Nauk. Wyższ. Szk. Pedagog. Opolu, Mat. (1)
- Wiss. Z., Karl-Marx-Univ. Leipz., Ges.-Sprachwiss. Reihe (1)
- Sov. Math. (1)
- C. R. Math. Acad. Sci., Soc. R. Can. (1)
- Libertas Math. (1)
- J. Nanjing Univ., Math. Biq. (1)
- Bul. Inst. Politeh. Bucur., Ser. Autom. Calc. (1)
- J. Comput. Sci. Technol. (1)
- Mod. Log. (1)
- Int. J. Algebra Comput. (1)
- Math. Struct. Comput. Sci. (1)
- C. R. Acad. Bulg. Sci. (1)
- Int. J. Comput. Math. (1)
- Izv. Akad. Nauk Èst. SSR, Fiz., Mat. (1)
- Bol. Soc. Parana. Mat., II. Sér. (1)
- and 43 more Serials
all
top 5
Year of Publication
- 2024 (5)
- 2023 (8)
- 2022 (10)
- 2021 (8)
- 2020 (7)
- 2019 (13)
- 2018 (13)
- 2017 (11)
- 2016 (7)
- 2015 (14)
- 2014 (13)
- 2013 (4)
- 2012 (4)
- 2011 (8)
- 2010 (6)
- 2009 (13)
- 2008 (20)
- 2007 (7)
- 2006 (15)
- 2005 (8)
- 2004 (7)
- 2003 (3)
- 2002 (9)
- 2001 (19)
- 2000 (14)
- 1999 (21)
- 1998 (21)
- 1997 (26)
- 1996 (27)
- 1995 (15)
- 1994 (21)
- 1993 (21)
- 1992 (25)
- 1991 (22)
- 1990 (24)
- 1989 (25)
- 1988 (24)
- 1987 (24)
- 1986 (16)
- 1985 (24)
- 1984 (32)
- 1983 (20)
- 1982 (27)
- 1981 (16)
- 1980 (21)
- 1979 (17)
- 1978 (8)
- 1977 (5)
- 1975 (1)
- 1974 (3)
- 1973 (4)
- 1972 (4)
- 1971 (1)
- 1970 (1)
- 1968 (1)
- 1958 (1)
Biographic Reference
all
top 3
Software
- TABLEAUX (4)
- TPTP (3)
- Automath (2)
- Coq (2)
- FaCT++ (2)
- Isabelle (2)
- KL-ONE (2)
- LWB (2)
- LoTREC (2)
- ModLeanTAP (2)
- OTTER (2)
- SETHEO (2)
- leanTAP (2)
- 3TAP (1)
- ALF (1)
- ARA (1)
- Bliksem (1)
- CESAR (1)
- ETPS (1)
- HTab (1)
- Haskell (1)
- KRIPKE (1)
- Lucid (1)
- METATEM (1)
- MSPASS (1)
- MiniSat (1)
- Minlog (1)
- PLINK (1)
- Pellet (1)
- Pesca (1)
- Petri-PDL (1)
- RALL (1)
- RelView (1)
- SICStus (1)
- SPASS (1)
- Spartacus (1)
- Speedith (1)
- VAMPIRE (1)
- fCube (1)