×

Found 347 Documents (Results 1–100)

100
MathJax

Motivating the causal modeling semantics of counterfactuals, or, why we should favor the causal modeling semantics over the possible-worlds semantics. (English) Zbl 1429.03032

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 83-110 (2016).
MSC:  03A05 03B42
PDF BibTeX XML Cite
Full Text: DOI

Semantics for “enough-certainty” and Fitting’s embedding of classical logic in S4. (English) Zbl 1370.68196

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 34, 18 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

On the essential flatness of possible worlds. (English) Zbl 1330.03019

Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 127-137 (2014).
MSC:  03A05 03B42
PDF BibTeX XML Cite
Full Text: DOI

On modal facts in possible worlds. (English) Zbl 1273.03024

Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 65-77 (2013).
MSC:  03A05 03B45
PDF BibTeX XML Cite

Agnostic possible worlds semantics. (English) Zbl 1291.03063

Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 201-212 (2012).
MSC:  03B65 03B15
PDF BibTeX XML Cite
Full Text: DOI

On dialetheic entailment. (English) Zbl 1262.03006

Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 37-48 (2012).
MSC:  03A05
PDF BibTeX XML Cite

The evaluation semantics – a short introduction. (English) Zbl 1262.03035

Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 31-36 (2012).
MSC:  03B45 03A05
PDF BibTeX XML Cite

Leibniz, modal logic and possible world semantics: the Apulean square as a Procrustean bed for his modal metaphysics. (English) Zbl 1270.03006

Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 53-71 (2012).
PDF BibTeX XML Cite
Full Text: DOI

A typed store-passing translation for general references. (English) Zbl 1284.68194

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). 147-158 (2011).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Modelling local variables: possible worlds and object spaces. (English) Zbl 1342.68092

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 389-402 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Always more. (English) Zbl 1253.03018

Peliš, Michal (ed.), The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22–26, 2009. London: College Publications (ISBN 978-1-84890-009-7/pbk). 223-229 (2010).
MSC:  03A05
PDF BibTeX XML Cite

Knowledge system for application of computer security rules. (English) Zbl 1191.68131

Herrero, Álvaro (ed.) et al., Computational intelligence in security for information systems. CISIS’09, 2nd international workshop, Burgos, Spain, September 23–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04090-0/pbk; 978-3-642-04091-7/ebook). Advances in Intelligent and Soft Computing 63, 9-17 (2009).
MSC:  68M99
PDF BibTeX XML Cite
Full Text: DOI

Reasoning with justifications. (English) Zbl 1166.03006

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, 107-123 (2009).
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

Assertions in AFA set theory. (English) Zbl 1226.03038

Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 143-176 (2008).
MSC:  03B65 03B42 03E70
PDF BibTeX XML Cite

Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. (English) Zbl 1210.03017

Logic, Epistemology, and the Unity of Science 12. Berlin: Springer (ISBN 978-1-4020-8589-5/hbk; 978-1-4020-8590-1/ebook). xiii, 303 p. (2008).
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