×

Found 423 Documents (Results 1–100)

100
MathJax

Observable models. (English) Zbl 1485.03035

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 12-26 (2020).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI

A road to ultrafilter extensions. (English) Zbl 1469.03048

Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 117-133 (2019).
MSC:  03B45 03C20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Kripke’s worlds. An introduction to modal logics via tableaux. (English) Zbl 1280.03001

Studies in Universal Logic. Basel: Birkhäuser/Springer (ISBN 978-3-7643-8503-3/pbk; 978-3-7643-8504-0/ebook). xv, 198 p. (2014).
MSC:  03-01 03B35 03B42 03B45 05C90 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

TW-models for logic of knowledge-cum-belief. (English) Zbl 1364.03026

Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 314-337 (2013).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI

Separating the fan theorem and its weakenings. (English) Zbl 1437.03117

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 280-295 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An outline of a dynamic theory of frames. (English) Zbl 1385.68046

Bezhanishvili, Guram (ed.) et al., Logic, language, and computation. 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011, Kutaisi, Georgia, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-36975-9/pbk). Lecture Notes in Computer Science 7758, 115-137 (2013).
MSC:  68T30 68T27
PDF BibTeX XML Cite
Full Text: DOI

The marriage of bisimulations and Kripke logical relations. (English) Zbl 1321.68198

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 59-72 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Kripke models of transfinite provability logic. (English) Zbl 1301.03063

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 185-199 (2012).
MSC:  03F45
PDF BibTeX XML Cite

On quantum and probabilistic linear lambda-calculi (extended abstract). (English) Zbl 1347.68146

Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 121-128 (2011).
MSC:  68Q05 03B40 68Q55 81P68
PDF BibTeX XML Cite
Full Text: DOI

Step-indexed Kripke models over recursive worlds. (English) Zbl 1284.68102

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 119-132 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus. (English) Zbl 1345.68228

Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 49-64 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic Lindström theorems. (English) Zbl 1254.03121

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 292-309 (2010).
MSC:  03G30 03B45
PDF BibTeX XML Cite

A quantitative characterization of weighted Kripke structures in temporal logic. (English) Zbl 1247.68189

Hlinený, Petr (ed.) et al., Annual doctoral workshop on mathematical and engineering methods in computer science (MEMICS’09). Selected papers based on the presentations at the workshop, November 13-15, 2009, Znojmo, Czech Republic. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-15-6). OASIcs – OpenAccess Series in Informatics 13, 10-17, electronic only (2009).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI

Commutativity of quantifiers in varying-domain Kripke models. (English) Zbl 1167.03016

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 9-30 (2009).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI

Completeness of the finitary Moss logic. (English) Zbl 1233.03029

Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 193-217 (2008).
MSC:  03B45 03B70 03G30
PDF BibTeX XML Cite

Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. (English) Zbl 1142.03323

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 32-41 (2008).
PDF BibTeX XML Cite
Full Text: DOI

A very modal model of a modern, major, general type system. (English) Zbl 1295.68072

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 109-122 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software