×

Found 185 Documents (Results 1–100)

100
MathJax

Dual and axiomatic systems for constructive S4, a formally verified equivalence. (English) Zbl 07297792

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 61-83 (2020).
MSC:  03B45 68V15
PDF BibTeX XML Cite
Full Text: DOI

On combinatorial proofs for modal logic. (English) Zbl 1435.03041

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 223-240 (2019).
MSC:  03B45 03F07
PDF BibTeX XML Cite
Full Text: DOI Link

A tableau method for checking rule admissibility in S4. (English) Zbl 1345.03033

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, 17-32 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI

Density of truth in modal logics. (English) Zbl 1191.03013

Fourth colloquium on mathematics and computer science IV. Algorithms, trees, combinatorics and probabilities. Papers based on the presentations at the colloquium, Nancy, France, September 18–22, 2006. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 161-170, electronic only (2006).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: Link

Communication leading to Nash equilibrium without acyclic condition. S4-knowledge model case. (English) Zbl 1102.91302

Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-22129-8/pbk). Lecture Notes in Computer Science 3039, 884-891 (2004).
PDF BibTeX XML Cite
Full Text: DOI

Operations on proofs that can be specified by means of modal logic. (English) Zbl 1001.03055

Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 59-72 (2001).
MSC:  03F45 03B20 03B45
PDF BibTeX XML Cite

A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion. (English) Zbl 0908.03022

Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 275-294 (1998).
MSC:  03B40 03B45
PDF BibTeX XML Cite

Representing the knowledge of Turing machines. (English) Zbl 0942.03514

Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 169-190 (1997).
PDF BibTeX XML Cite

Sahlqvist formulas are not so elementary even above S4. (English) Zbl 0846.03004

Csirmaz, László (ed.) et al., Logic colloquium ’92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. Studies in Logic, Language and Computation. 61-73 (1995).
Reviewer: L.F.Goble (Salem)
MSC:  03B45 03B25
PDF BibTeX XML Cite

On a modal lambda calculus for S4. (English) Zbl 0908.03018

Brookes, Steve (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 1, 20 p. (1995).
PDF BibTeX XML Cite
Full Text: Link

Nonmonotonic reasoning is sometimes simpler. (English) Zbl 0793.68080

Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 313-324 (1993).
PDF BibTeX XML Cite

A generalization of stability and its application to circumscription of positive introspective knowledge. (English) Zbl 0793.03020

Börger, Egon (ed.) et al., Computer science logic. 4th workshop, CSL ’90, Heidelberg, Germany, October 1-5, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 533, 289-299 (1991).
MSC:  03B45 68T30
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software